Abelizations of weakly associative hyperstructures based on their direct squares
Abschwächungen des Adjunktionsbegriffs.
Absolute colimits in enriched categories
Absolutely closed spaces and categories of algebras
Abstract initiality
We study morphisms that are initial w.r.t. all functors in a given conglomerate. Several results and counterexamples are obtained concerning the relation of such properties to different notions of subobject. E.g., strong monomorphisms are initial w.r.t. all faithful adjoint functors, but not necessarily w.r.t. all faithful monomorphism-preserving functors; morphisms that are initial w.r.t. all faithful monomorphism-preserving functors are monomorphisms, but need not be extremal; and (under weak...
Abstract physical traces.
Abstract pro arrows I
Accessible embeddings and the solution-set condition
Accessible set functors are universal
It is shown that every concretizable category can be fully embedded into the category of accessible set functors and natural transformations.
Actions, functors and the bar construction
Addendum to completion and closure
Additive Duality at Cosmall Injectives
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.
Adjoint for double categories
Adjointness between theories and strict theories
The categorical concept of a theory for algebras of a given type was foundet by Lawvere in 1963 (see [8]). Hoehnke extended this concept to partial heterogenous algebras in 1976 (see [5]). A partial theory is a dhts-category such that the object class forms a free algebra of type (2,0,0) freely generated by a nonempty set J in the variety determined by the identities ox ≈ o and xo ≈ o, where o and i are the elements selected by the 0-ary operation symbols. If the object class of a dhts-category...
Adjoints, multi-adjoints, pluri-adjoints.
Adjonctions et monades au niveau des 2-catégories
Adjunctions in Monoidal categories.
Adjungierte Dreiecke, Colimites und Kan-Erweiterungen.