Large limit sketches and topological space objects. arXiv:2106.11115
Preprint, arXiv:2106.11115 [math.CT] (2021).
Summary: For a (possibly large) realized limit sketch \(\mathcal{S}\) such that every \(\mathcal{S}\)-model is small in a suitable sense we show that the category of cocontinuous functors \(\mathsf{Mod}(\mathcal{S}) \to \mathcal{C}\) into a cocomplete category \(\mathcal{C}\) is equivalent to the category \(\mathsf{Mod}_{\mathcal{C}}(\mathcal{S}^{\mathrm{op}})\) of \(\mathcal{C}\)-valued \(\mathcal{S}^{\mathrm{op}}\)-models. From this result we deduce universal properties of several examples of cocomplete categories appearing in practice. It can be applied in particular to infinitary Lawvere theories, generalizing the well-known case of finitary Lawvere theories. We also look at a large limit sketch that models \(\mathsf{Top}\), study the corresponding notion of an internal net-based topological space object, and deduce from our main result that cocontinuous functors \(\mathsf{Top} \to \mathcal{C}\) into a cocomplete category \(\mathcal{C}\) correspond to net-based cotopological space objects internal to \(\mathcal{C}\). Finally, we describe a limit sketch that models \(\mathsf{Top}^{\mathrm{op}}\) and deduce from our main result that continuous functors \(\mathsf{Top} \to \mathcal{C}\) into a complete category \(\mathcal{C}\) correspond to frame-based topological space objects internal to \(\mathcal{C}\). Thus, we characterize \(\mathsf{Top}\) both as a cocomplete and as a complete category. Thereby we get two new conceptual proofs of Isbell’s classification of cocontinuous functors \(\mathsf{Top} \to \mathsf{Top}\) in terms of topological topologies.
MSC:
18C30 | Sketches and generalizations |
18C05 | Equational categories |
18C10 | Theories (e.g., algebraic theories), structure, and semantics |
18C15 | Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads |
18C40 | Structured objects in a category (group objects, etc.) |
54A05 | Topological spaces and generalizations (closure spaces, etc.) |
54A20 | Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) |
54B30 | Categorical methods in general topology |
18F70 | Frames and locales, pointfree topology, Stone duality |
arXiv data are taken from the
arXiv OAI-PMH API.
If you found a mistake, please
report it directly to arXiv.