A special tricategory
J. V. Michalowicz (1969)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
J. V. Michalowicz (1969)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Hofstra, Pieter, De Marchi, Federico (2006)
Theory and Applications of Categories [electronic only]
Similarity:
Marco Riccardi (2013)
Formalized Mathematics
Similarity:
Category theory was formalized in Mizar with two different approaches [7], [18] that correspond to those most commonly used [16], [5]. Since there is a one-to-one correspondence between objects and identity morphisms, some authors have used an approach that does not refer to objects as elements of the theory, and are usually indicated as object-free category [1] or as arrowsonly category [16]. In this article is proposed a new definition of an object-free category, introducing the two...
Andrée Bastiani, Charles Ehresmann (1974)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Maciej Golinski, Artur Korniłowicz (2013)
Formalized Mathematics
Similarity:
The paper introduces coproducts in categories without uniqueness of cod and dom. It is proven that set-theoretical disjoint union is the coproduct in the category Ens [9].
Lauda, Aaron D. (2006)
Theory and Applications of Categories [electronic only]
Similarity:
Lack, Stephen (1999)
Theory and Applications of Categories [electronic only]
Similarity:
Rosický, J., Vitale, E.M. (2001)
Homology, Homotopy and Applications
Similarity:
Diers, Yves (2005)
Theory and Applications of Categories [electronic only]
Similarity:
G. M. Kelly (1982)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity: