A structure theorem for 2-hypergroupoids with topological applications.
A survey of definitions of -category.
A survey of totality for enriched and ordinary categories
A tensor product for Gray-categories.
A theory of enriched sheaves
A theory of enriched sketches.
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.
Abelian groups in a topos of sheaves: Torsion and essential extensions.
About the globular homology of higher dimensional automata
About the naturality of Beattie's decomposition theorem with respect to a change of Hopf algebras
Absolute colimits in enriched categories
Abstract clones and operads.
Abstract physical traces.
Abstract pro arrows I
Actions and automorphisms of crossed modules
Actions, functors and the bar construction
Adhesive and quasiadhesive categories
We introduce adhesive categories, which are categories with structure ensuring that pushouts along monomorphisms are well-behaved, as well as quasiadhesive categories which restrict attention to regular monomorphisms. Many examples of graphical structures used in computer science are shown to be examples of adhesive and quasiadhesive categories. Double-pushout graph rewriting generalizes well to rewriting on arbitrary adhesive and quasiadhesive categories.
Adhesive and quasiadhesive categories
We introduce adhesive categories, which are categories with structure ensuring that pushouts along monomorphisms are well-behaved, as well as quasiadhesive categories which restrict attention to regular monomorphisms. Many examples of graphical structures used in computer science are shown to be examples of adhesive and quasiadhesive categories. Double-pushout graph rewriting generalizes well to rewriting on arbitrary adhesive and quasiadhesive categories.