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.