Mathematics
Algebraic Structure
7%
Axiom
23%
Bicategory
41%
Categorical
47%
Comodule
18%
Completion
20%
Dependent
15%
Equivalence
16%
Equivalence Principle
22%
Faithful
9%
Family
12%
Formalization
10%
Framework
6%
Homotopy Theory
17%
Homotopy Type
16%
Infinite Matrices
17%
Integrate
7%
Isomorphism
10%
Iteration
5%
Lambda Calculus
15%
Language
38%
Libraries
23%
Model
9%
Module
9%
Monads
40%
Object
27%
Presheaves
9%
Programming Languages
14%
Semantics
78%
Signature
48%
Sort
6%
Substitution
18%
Subsystem
9%
Syntax
73%
Term
18%
Triangular matrix
17%
Type Theory
100%
Engineering & Materials Science
Algebra
34%
Computer programming languages
33%
Gluing
10%
Semantics
70%
Specifications
14%
Substitution reactions
71%
Syntactics
32%