Mathematics – Category Theory
Scientific paper
2007-09-06
Mathematics
Category Theory
29 pages
Scientific paper
A certain amount of category theory is developed in an arbitrary finitely complete category with a factorization system on it, playing the role of the comprehensive factorization system on Cat. Those aspects related to the concepts of finality (in particular terminal objects), discreteness and components, representability, colimits and universal arrows, seem to be best expressed in this very general setting. Furthermore, at this level we are in fact doing not only (E,M)-category theory but, in a sense, also (E,M)-topology. Other axioms, regarding power objects, duality, exponentials and the arrow object, are considered.
No associations
LandOfFree
Categories of categories does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Categories of categories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Categories of categories will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-657832