Papers
Topics
Authors
Recent
2000 character limit reached

Sketches and Classifying Logoi (2403.09264v1)

Published 14 Mar 2024 in math.CT and math.LO

Abstract: Inspired by the theory of classifying topoi for geometric theories, we define rounded sketches and logoi and provide the notion of classifying logos for a rounded sketch. Rounded sketches can be used to axiomatise all the known fragments of infinitary first order logic in $\mathbf{L}_{\infty,\infty}$, in a spectrum ranging from weaker than finitary algebraic to stronger than $\lambda$-geometric for $\lambda$ a regular cardinal. We show that every rounded sketch has an associated classifying logos, having similar properties to the classifying topos of a geometric theory. This amounts to a Diaconescu-type result for rounded sketches and (Morita small) logoi, which generalises the one for classifying topoi.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (52)
  1. Adjoint functor theorems for lax-idempotent pseudomonads. arXiv preprint https://arxiv.org/abs/2306.10389, 2023.
  2. Topo-logie. New Spaces in Mathematics: Formal and Conceptual Reflections, 1:155–257, 2021.
  3. On the duality between varieties and algebraic theories. Algebra universalis, 49(1):35–49, 2003.
  4. Locally Presentable and Accessible Categories. London Mathematical Society Lecture Note Series. Cambridge University Press, 1994.
  5. How nice are free completions of categories? Topology and its Applications, 273:106972, 2020.
  6. Michael Barr. Toposes without points. Journal of Pure and Applied Algebra, 5(3):265–280, 1974.
  7. David B. Benson. Multilinearity of sketches. Theory and Applications of Categories, 3(11):269–277, 1997.
  8. Flexible limits for 2-categories. Journal of Pure and Applied Algebra, 61(1):1–27, 1989.
  9. Carsten Butz and BRICS Lecture Series LS. Regular categories and regular logic. BRICS Lecture Series LS-98-2, 1998.
  10. Francis Borceux. Handbook of Categorical Algebra, volume 1 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, 1994.
  11. Martin Brandenburg. Large limit sketches and topological space objects. arXiv preprint arXiv:2106.11115, 2021.
  12. Mitchell Buckley. Fibred 2-categories and bicategories. Journal of Pure and Applied Algebra, 218(6):1034–1074, 2014.
  13. Olivia Caramello. Denseness conditions, morphisms and equivalences of toposes. arXiv preprint arXiv:1906.08737, 2019.
  14. Context, judgement, deduction. arXiv preprint arXiv:2111.09438, 2021.
  15. Introduction to extensive and distributive categories. Journal of Pure and Applied Algebra, 84(2):145–158, 1993.
  16. Brian Day. A reflection theorem for closed categories. Journal of pure and applied algebra, 2(1):1–11, 1972.
  17. Accessibility and presentability in 2-categories. Journal of Pure and Applied Algebra, 227(1):107155, 2023.
  18. Functorial semantics for partial theories. Proceedings of the ACM on Programming Languages, 5(POPL):1–28, 2021.
  19. Kz-monads and kan injectivity. to appear in Theory and Applications of Categories special volume in honour of Marta Bunge, 2022. preprint available at arXiv:2211.00380.
  20. Bi-accessible and bipresentable 2-categories. arXiv preprint arXiv:2203.07046, 2022.
  21. Gabriel–ulmer duality for topoi and its relation with site presentations. Applied Categorical Structures, 28(6):935–962, 2020.
  22. Every theory is eventually of presheaf type. arXiv preprint arXiv:2312.12356, 2023.
  23. Christian Espíndola. Infinitary first-order categorical logic. Annals of Pure and Applied Logic, 170(2):137–162, 2019.
  24. Christian Espíndola. Infinitary generalizations of deligne’s completeness theorem. The Journal of Symbolic Logic, 85(3):1147–1162, 2020.
  25. P. Freyd. Aspects of topoi. Bulletin of Australian Mathematical Society, 7:1–76, 1972.
  26. Peter Freyd. Cartesian logic. Theor. Comput. Sci., 278(1-2):3–21, 2002.
  27. Categories, allegories. Elsevier, 1990.
  28. Richard Garner. Topological functors as total categories. Theory and Applications of Categories, 29(15):406–421, 2014.
  29. Lex colimits. Journal of Pure and Applied Algebra, 216(6):1372–1396, 2012.
  30. Formal Category Theory: Adjointness for 2-Categories. Lecture Notes in Mathematics.
  31. Horst Herrlich. Topological functors. General Topology and its Applications, 4(2):125–142, 1974.
  32. John R. Isbell. Adequate subcategories. Illinois Journal of Mathematics, 4(4):541–552, 1960.
  33. Peter T. Johnstone. Sketches of an elephant: a Topos theory compendium. Oxford logic guides. Oxford Univ. Press, New York, NY, 2002.
  34. Peter T. Johnstone. Sketches of an Elephant: A Topos Theory Compendium: 2 Volume Set. Oxford University Press UK, 2002.
  35. Peter T. Johnstone. A syntactic approach to diers’ localizable categories. In Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977, pages 466–478. Springer, 2006.
  36. G Max Kelly. A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on. Bulletin of the Australian Mathematical Society, 22(1):1–83, 1980.
  37. Stephen Lack. A 2-Categories Companion, pages 105–191. Springer New York, New York, NY, 2010.
  38. Christian Lair. Etude générale de la catégorie des esquisses, volume 23. na, 1975.
  39. Accessible categories with a class of limits. Journal of Pure and Applied Algebra, 228(2):107444, 2024.
  40. Michael Makkai. Generalized sketches as a framework for completeness theorems. Part I. Journal of Pure and Applied Algebra, 115(1):49–79, 1997.
  41. Michael Makkai. Generalized sketches as a framework for completeness theorems. part ii. Journal of Pure and Applied Algebra, 115(3):179–212, 1997.
  42. Michael Makkai. Generalized sketches as a framework for completeness theorems. Part III. Journal of Pure and Applied Algebra, 115(3):241–274, 1997.
  43. Accessible Categories: The Foundations of Categorical Model Theory. American Mathematical Society, 1989.
  44. Ieke Moerdijk and Jacob Johan Caspar Vermeulen. Proper maps of toposes, volume 705. American Mathematical Soc., 2000.
  45. Andrew M. Pitts. Amalgamation and interpolation in the category of heyting algebras. Journal of Pure and Applied Algebra, 29(2):155–165, 1983.
  46. Andrew M. Pitts. An application of open maps to categorical logic. Journal of pure and applied algebra, 29(3):313–326, 1983.
  47. Julia Ramos González. Grothendieck categories as a bilocalization of linear sites. Applied Categorical Structures, 26(4):717–745, 2018.
  48. Michael Shulman. Contravariance through enrichment. arXiv preprint arXiv:1606.05058, 2016.
  49. Ross Street. Fibrations and yoneda’s lemma in a 2-category. In Gregory M. Kelly, editor, Category Seminar, pages 104–133, Berlin, Heidelberg, 1974. Springer Berlin Heidelberg.
  50. Ross Street. Categories in which all strong generators are dense. Journal of Pure and Applied Algebra, 43:235–242, 1986.
  51. Charles Wells. Sketches: Outline with references. Dept. of Computer Science, Katholieke Universiteit Leuven Celestijnenlaan A, 200, 1994.
  52. Marek W. Zawadowski. Descent and duality. Annals of Pure and Applied Logic, 71(2):131–188, 1995.

Summary

We haven't generated a summary for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Summarize Now

Whiteboard

Continue Learning

We haven't generated follow-up questions for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Generate Now

Collections

Sign up for free to add this paper to one or more collections.

User Circle Single Streamline Icon: https://streamlinehq.com Sign Up

Tweets

Sign up for free to view the 1 tweet with 6 likes about this paper.

User Circle Single Streamline Icon: https://streamlinehq.com Sign Up for Free