Finite products in partial morphism categories

S.N. Hosseini, A.R. Shir Ali Nasab

In this article we give necessary and sufficient conditions for a binary product to exist in a partial morphism category. We also give necessary and sufficient conditions for the existence of a productive terminal in such categories.

Keywords: partial morphism category, partial morphism classifier, binary product, terminal object

2010 MSC: 18A30, 18B99

Theory and Applications of Categories, Vol. 29, 2014, No. 10, pp 302-314.

Published 2014-06-15.

http://www.tac.mta.ca/tac/volumes/29/10/29-10.pdf

TAC Home