Skip to content
February 9, 2014 / porton

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

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.

%d bloggers like this: