Products in Categories without Uniqueness of cod and dom
From MaRDI portal
Publication:2852173
DOI10.2478/v10037-012-0036-7zbMath1301.18007OpenAlexW4237602521MaRDI QIDQ2852173
Publication date: 8 October 2013
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/v10037-012-0036-7
Related Items
Cites Work