Cohesion and the category of categories

[Venkata Rayudu Posina <posinavrayudu@gmail.com>]

Dear All,

Since the structure of CATEGORY is of reflexive graph type and since
the category of reflexive graphs is cohesive, can we say that the
category of categories is cohesive.  I am not sure how the additional
structure i.e. composition that a category has on top of the reflexive
graph structure effects its cohesiveness.  I am thinking that somewhat
like reversible graphs, which have additional structure (action of
involution) besides the reflexive graph structure (action of two
idempotents) but nevertheless cohesive, the category of categories is
cohesive.  On the other hand, in going from actions of two idempotents
to actions of one idempotent, the cohesiveness of the category of
reflexive graphs changes into contrasting quality type of the category
of idempotents.  Is there a general statement about how cohesiveness
of a structure changes as one adds or removes component structures.

Thank you,
posina
http://namingthegiven.wordpress.com/


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]