The structure of double groupoids
The ternary commutator obstruction for internal crossed modules
The theory of opetopes via Kelly-Mac Lane graphs
The three dimensions of proofs
The topology of syntax relations of a formal language
The Two-Square Lemma and the connecting morphism
The unification of Mathematics via Topos Theory
The unification of Mathematics via Topos Theory - Russian version
The unitary symmetric monoidal model category of small C*-categories
The univalence axiom for inverse diagrams
The univalence axiom in posetal model categories
The weak theory of monads
The Web Monoid and Opetopic Sets
The zeta function of a finite category
The ziqqurath of exact sequences of n-groupoids
Theories of analytic monads
Theories of anything
Thin Elements and Commutative Shells in Cubical omega-categories
Thin fillers in the cubical nerves of omega-categories
Three Crossed Modules