The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: