Jason (jcreed) wrote,


i) CB categories may have subcategories which are not.
ii) CB objects may have subobjects which are not.


i) Consider the category generated by the graph

f h
-> ->
* * *
-> <-
g k

with the constraint that h o f = h o g, and the full
subcategory containing the two objects on the right.
h is not monic in the larger category, but -is- monic
in the subcategory, and so is k, yet the two objects
of the subcategory are not isomorphic.

ii) c*N + w*Z is CB in uStruct (any other object which
admits monomorphisms both ways clearly must have exactly
w copies of *Z, and exactly c many copies
of *N, and certainly no finite loops) and yet
*N + w*Z is not.

  • (no subject)

    Extremely unproductive sleepy day, which was therefore very fruitful as a vacation day.

  • (no subject)

    Boo I am a halloween grinch, the streets are full of Youths underfoot. Mostly didn't need to deal with it too much since we had some leftovers for…

  • (no subject)

    Oof halloween. Park Slope is kind of a clusterfuck --- tried going down there for dinner, my usual favorite Italian place was all booked up. Had a…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded