Artur Korniłowicz (2012)
Formalized Mathematics
Similarity:
The paper introduces Cartesian products in categories without uniqueness of cod and dom. It is proven that set-theoretical product is the product in the category Ens [7].
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...
Hofstra, Pieter, De Marchi, Federico (2006)
Theory and Applications of Categories [electronic only]
Similarity:
J. Adámek, V. Koubek (1983)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Andrée Ehresmann, Charles Ehresmann (1978)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Lauda, Aaron D. (2006)
Theory and Applications of Categories [electronic only]
Similarity:
Andrée Ehresmann, Charles Ehresmann (1978)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Palm, Thorsten (2009)
Theory and Applications of Categories [electronic only]
Similarity:
Diers, Yves (2005)
Theory and Applications of Categories [electronic only]
Similarity:
Harald Lindner (1974)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity: