Mathematics – Category Theory
Scientific paper
2009-04-11
Mathematics
Category Theory
40 pages, minor corrections, improvements and added references
Scientific paper
In the first part, we further advance the study of category theory in a strong balanced factorization category C [Pisani, 2008], a finitely complete category endowed with two reciprocally stable factorization systems such that X \to 1 is in M iff it is in M'. In particular some aspects related to "internal" (co)limits and to Cauchy completeness are considered. In the second part, we maintain that also some aspects of topology can be effectively synthesized in a (weak) balanced factorization category T, whose objects should be considered as possibly "infinitesimal" and suitably "regular" topological spaces. While in C the classes M and M' play the role of discrete fibrations and opfibrations, in T they play the role of local homeomorphisms and perfect maps, so that X\to 1 is in M (resp. M') iff it is a discrete (resp. compact) space. One so gets a direct abstract link between the subjects, with mutual benefits. For example, the slice projection X/x \to X and the coslice projection x\X \to X, obtained as the second factors of x:1 \to X according to (E,M) and (E',M') in C, correspond in T to the "infinitesimal" neighborhood of x \in X and to the closure of x. Furthermore, the open-closed complementation (generalized to reciprocal stability) becomes the key tool to internally treat, in a coherent way, some categorical concepts (such as (co)limits of presheaves) which are classically related by duality.
No associations
LandOfFree
Balanced Category Theory II 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 Balanced Category Theory II, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Balanced Category Theory II will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-442199