13 Aug
2017
13 Aug
'17
7:55 p.m.
The category of posets (= partially ordered sets) and monotone maps is often used as an easy example -- different from the category of sets -- that has products, coproducts, and is cartesian closed but not a topos. Let P and Q be two posets. Define (P (<) Q) as the modified coproduct where all the elements of P are made less than all the elements of Q. QUESTION. Does (P (<) Q) have a nice categorical definition as a functor in the category of posets? [For admin and other information see: http://www.mta.ca/~cat-dist/ ]