The Euler characteristic of infinite acyclic categories with filtrations
The Euler characteristics of categories and the barycentric subdivision
The Expectation Monad
The factor set of Gr-categories of the type $(Π,A)$
The formal theory of monoidal monads
The formal theory of Tannaka duality
The fundamental Gray 3-groupoid of a smooth manifold and local 3-dimensional holonomy based on a 2-crossed module
The fundamental pro-groupoid of an affine 2-scheme
The fundamental progroupoid of a general topos
The fusion algebra of bimodule categories
The geometric realization of a simplicial Hausdorff space is Hausdorff
The geometry of oriented cubes
The Glueing Construction and Double Categories
The Gorenstein defect category
The Herbrand Topos
The Heyneman-Radford Theorem for Monoidal Categories
The homotopy theory of strong homotopy algebras and bialgebras
The inner automorphism 3-group of a strict 2-group
The Invariance and the General CCT Theorems
The Lifting Theorem for Multitensors