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].
Hofstra, Pieter, De Marchi, Federico (2006)
Theory and Applications of Categories [electronic only]
Similarity:
Mesablishvili, Bachuki (2005)
Homology, Homotopy and Applications
Similarity:
Panchadcharam, E., Street, R. (2007)
Journal of Homotopy and Related Structures
Similarity:
Menni, M., Sabadini, N., Walters, R.F.C. (2007)
Theory and Applications of Categories [electronic only]
Similarity:
Lauda, Aaron D. (2006)
Theory and Applications of Categories [electronic only]
Similarity:
Guillou, Bertrand J. (2010)
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:
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].
Andrée Ehresmann, Charles Ehresmann (1978)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Panchadcharam, Elango, Street, Ross (2006)
Theory and Applications of Categories [electronic only]
Similarity: