A -categorical approach to change of base and geometric morphisms I
A 2-categorical approach to change of base and geometric morphisms. II.
A bicategorical approach to static modules.
A construction of -filtered bicolimits of categories
A forbidden-suborder characterization of binarily-composable diagrams in double categories.
A homotopy 2-groupoid from a fibration.
A homotopy double groupoid of a Hausdorff space.
A homotopy double groupoid of a Hausdorff space. II: A van Kampen theorem.
A monadic approach to polycategories.
A note on exactness and stability in homotopical algebra.
A representation of the category of algebras over different monads by the category of algebras over one suitable monad in a category of pointed monads
A structure theorem for 2-hypergroupoids with topological applications.
A survey of definitions of -category.
A tensor product for Gray-categories.
A unified approach to the lifting of adjoints
A unified framework for generalized multicategories.
A universal property of the monoidal 2-category of cospans of ordinals and surjections.
About the globular homology of higher dimensional automata
Absolute colimits in enriched categories
Abstract pro arrows I