Naive homotopy theories in cartesian closed categories (2405.03793v1)
Abstract: An elementary notion of homotopy can be introduced between arrows in a cartesian closed category $E$. The input is a finite-product-preserving endofunctor $\Pi_0$ with a natural transformation $p$ from the identity which is surjective on global elements. As expected, the output is a new category $E_p$ with objects the same objects as $E$. Further assumptions on $E$ provide a finer description of $E_p$ that relates it to the classical homotopy theory where $\Pi_0$ could be interpreted as the ``path-connected components'' functor on convenient categories of topological spaces. In particular, if $E$ is a 2-value topos the supports of which split and is furthermore assumed to be precohesive over a boolean base, then the passage from $E$ to $E_p$ is naturally described in terms of explicit homotopies -- as is the internal notion of contractible space.
- J. L. Bell. Toposes and local set theories, volume 14 of Oxford Logic Guides. The Clarendon Press, Oxford University Press, New York, 1988. ISBN 0-19-853274-1. An introduction, Oxford Science Publications.
- Introduction to extensive and distributive categories. J. Pure Appl. Algebra, 84(2):145–158, 1993. ISSN 0022-4049,1873-1376. doi: 10.1016/0022-4049(93)90035-R. URL https://doi.org/10.1016/0022-4049(93)90035-R.
- Peter Johnstone. Remarks on punctual local connectedness. Theory Appl. Categ., 25:No. 3, 51–63, 2011. ISSN 1201-561X.
- F. William Lawvere. Axiomatic cohesion. Theory Appl. Categ., 19:No. 3, 41–49, 2007. ISSN 1201-561X.
- F. William Lawvere. Euler’s continuum functorially vindicated. In Logic, mathematics, philosophy: vintage enthusiasms, volume 75 of West. Ont. Ser. Philos. Sci., pages 249–254. Springer, Dordrecht, 2011. ISBN 978-94-007-0213-4; 978-94-007-0214-1. doi: 10.1007/978-94-007-0214-1“˙13. URL https://doi.org/10.1007/978-94-007-0214-1_13.
- F. Marmolejo and M. Menni. On the relation between continuous and combinatorial. J. Homotopy Relat. Struct., 12(2):379–412, 2017. ISSN 2193-8407,1512-2891. doi: 10.1007/s40062-016-0131-5. URL https://doi.org/10.1007/s40062-016-0131-5.
- Colin McLarty. Elementary axioms for canonical points of toposes. J. Symbolic Logic, 52(1):202–204, 1987. ISSN 0022-4812,1943-5886. doi: 10.2307/2273873. URL https://doi.org/10.2307/2273873.
- Colin McLarty. Elementary categories, elementary toposes, volume 21 of Oxford Logic Guides. The Clarendon Press, Oxford University Press, New York, 1992. ISBN 0-19-853392-6; 0-19-851473-5. Oxford Science Publications.
- M. Menni. Continuous cohesion over sets. Theory Appl. Categ., 29:No. 20, 542–568, 2014. ISSN 1201-561X.
- On logical parameterizations and functional representability in local set theories, 2021.
- Elementary axioms for parts in toposes, 2023.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Collections
Sign up for free to add this paper to one or more collections.