Categories with slicing.
Palm, Thorsten (2009)
Theory and Applications of Categories [electronic only]
Similarity:
Displaying similar documents to “Effective taxonomies and crossed taxonomies”
Categories with slicing.
Normal functors and strong protomodularity.
Bourn, Dominique (2000)
Theory and Applications of Categories [electronic only]
Similarity:
Predicative algebraic set theory.
Awodey, Steve, Warren, Michael A. (2005)
Theory and Applications of Categories [electronic only]
Similarity:
Cartesian closed concrete categories
J. Adámek, V. Koubek (1983)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Partial toposes.
Bénabou, Jean, Streicher, Thomas (2003)
Theory and Applications of Categories [electronic only]
Similarity:
Complete theories in -categories
Renato Betti, Marco Grandis (1988)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Categorical Pullbacks
Marco Riccardi (2015)
Formalized Mathematics
Similarity:
The main purpose of this article is to introduce the categorical concept of pullback in Mizar. In the first part of this article we redefine homsets, monomorphisms, epimorpshisms and isomorphisms [7] within a free-object category [1] and it is shown there that ordinal numbers can be considered as categories. Then the pullback is introduced in terms of its universal property and the Pullback Lemma is formalized [15]. In the last part of the article we formalize the pullback of functors...
A survey of totality for enriched and ordinary categories
G. M. Kelly (1986)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Algebraic aspects of topos theory
J. Lambek, P. J. Scott (1981)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity: