Partial completions of concrete functors Andrée Charles Ehresmann (1981) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Products in Categories without Uniqueness of cod and dom Artur Korniłowicz (2012) Formalized Mathematics 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].
Pro-reflections and pro-factorizations Luciano Stramaccia (1985) Cahiers de Topologie et Géométrie Différentielle Catégoriques