<abstract xmlns="http://www.w3.org/1999/xhtml"><p>The paper introduces Cartesian products in categories without uniqueness of <bold>cod </bold>and <bold>dom</bold>. It is proven that set-theoretical product is the product in the category Ens [7].</p></abstract>

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].

Products in Categories without Uniqueness of cod and dom

Institute of Informatics, University of Białystok, Sosnowa 64, 15-887 Białystok Poland

Formalized Mathematics

{"article-title":"Products in Categories without Uniqueness of cod and dom"}

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...

Products in Categories without Uniqueness of cod and dom

Pubblicato online: 02 feb 2013

Pagine: 303 - 307

DOI: https://doi.org/10.2478/v10037-012-0036-7

This content is open access.