A 2-categorical approach to change of base and geometric morphisms. II.
A brief review of abelian categorifications.
A characterization of locally -presentable categories
A duality relative to a limit doctrine.
A note on reflective subcategories defined by partial algebras
A Note on the Structure of Injective Diagrams.
À propos de : «Légitimité des catégories de préfaisceaux»
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
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...
Adjungierte Dreiecke, Colimites und Kan-Erweiterungen.
Analytic functors and weak pullbacks.
Aspects of categorical algebra in initialstructure categories
Boolean Galois theories.
Calcul des courants induits et des forces électromagnétiques dans un système de conducteurs mobiles
Cantors Diagonalprinzip für Kategorien.
Cartesian bicategories. II.
Categorical data-specifications.
Catégories accessibles à limites projectives non vides et catégories accessibles à limites projectives finies
Categories of functors between categories with partial morphisms
It is well-known that the composition of two functors between categories yields a functor again, whenever it exists. The same is true for functors which preserve in a certain sense the structure of symmetric monoidal categories. Considering small symmetric monoidal categories with an additional structure as objects and the structure preserving functors between them as morphisms one obtains different kinds of functor categories, which are even dt-symmetric categories.