Products in dagger categories – updated

I have rewritten my draft article Products in dagger categories with complete ordered Mor-sets. Now I denote the product of an indexed family X of objects as \prod^{(Q)} X (instead of old confusing Z' and Z'' notation) and the infimum product and supremum coproduct correspondingly as \prod^{(L)} X and \coprod^{(L)} X (“L” stands for “lattice”).

I am going yet to rewrite this article to allow partial products to be defined and used, as it is required in my further research.

Leave a Reply