Theories, sites, toposes: Relating and studying mathematical theories through topos-theoretic 'bridges'

Theories, Sites, Toposes: Relating and studying mathematical theories through topos-theoretic 'bridges'

Volumn , Issue , 2018, Pages 1-368

  Caramello, Olivia ^a  

^a UNIVERSITY OF INSUBRIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85051150035     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1093/oso/9780198758914.001.0001     Document Type: Book

References (74)

1. Adámek, J., and Rosickỳ, J., Locally Presentable and Accessible Categories, Cambridge University Press (1994).
2. Antonius, W., Théories cohérentes et prétopos, Thèse de Maitrise (Mathématiques), Université de Montréal (1975).
3. Artin, M., Grothendieck, A., and Verdier, J. L., Théorie des topos et cohomologie étale des schémas, Séminaire de Géométrie Algébrique du Bois-Marie, année 1963-64; second edition published as Lecture Notes in Mathematics, vols. 269, 270 and 305, Springer-Verlag (1972).
4. Barr, M., and Diaconescu, R., Atomic Toposes, Journal of Pure and Applied Algebra 17 (1980), 1-24.
5. Beke, T., Theories of presheaf type, Journal of Symbolic Logic 69 (3), 923-934 (2004).
6. Beke, T., Karazeris, P., and Rosickỳ, J., When is flatness coherent? Communications in Algebra 33 (6), 1903-1912 (2005).
7. Blass, A., and Šcedrov, A., Classifying topoi and finite forcing, Journal of Pure and Applied Algebra 28 (2), 111-140 (1983).
8. Borceux, F., Handbook of categorical algebra, vol. 1, Cambridge University Press (1994).
9. Borceux, F., Handbook of categorical algebra, vol. 3, Cambridge University Press (1994).
10. Bunge, M., Categories of Set-valued functors, Ph.D. thesis, University of Pennsylvania (1966).
11. Butz, C., and Moerdijk, I., Representing topoi by topological groupoids, Journal of Pure and Applied Algebra, 130 (3), 223-235 (1998).
12. Caramello, O., The Duality between Grothendieck Toposes and Geometric Theories, Ph.D. thesis, University of Cambridge (2009).
13. Caramello, O., De Morgan classifying toposes, Advances in Mathematics 222 (6), 2117-2144 (2009).
14. Caramello, O., The unification of Mathematics via Topos Theory, arXiv:math.CT/1006.3930 (2010).
15. Caramello, O., A characterization theorem for geometric logic, Annals of Pure and Applied Logic 162 (4), 318-321 (2011).
16. Caramello, O., A topos-theoretic approach to Stone-type dualities, arXiv:math.CT/1006.3930 (2011).
17. Caramello, O., Yoneda representations of flat functors and classifying toposes, Theory and Applications of Categories 26 (21), 538-553 (2012).
18. Caramello, O., Atomic toposes and countable categoricity, Applied Categorical Structures 20 (4), 379-391 (2012).
19. Caramello, O., Universal models and definability, Mathematical Proceedings of the Cambridge Philosophical Society 152 (2), 279-302 (2012).
20. Caramello, O., Syntactic characterizations of properties of classifying toposes, Theory and Applications of Categories 26 (6), 176-193 (2012).
21. Caramello, O., Site characterizations for geometric invariants of toposes, Theory and Applications of Categories 26 (225), 710-728 (2012).
22. Caramello, O., Gelfand spectra and Wallman compactifications, arxiv:math.CT/1204.3244 (2012).
23. Caramello, O., Fraïssé's construction from a topos-theoretic perspective, Logica Universalis 8 (2), 261-281 (2014).
24. Caramello, O., A general method for building reflections, Applied Categorical Structures 22 (1), 99-118 (2014).
25. Caramello, O., Topologies for intermediate logics, Mathematical Logic Quarterly 60 (4-5), 335-347 (2014).
26. Caramello, O., Priestley-type dualities for partially ordered structures, Annals of Pure and Applied Logic 167 (9), 820-849 (2016).
27. Caramello, O., Topological Galois Theory, Advances in Mathematics 291, 646-695 (2016).
28. Caramello, O., Grothendieck toposes as unifying 'bridges' in Mathematics, Mémoire d'habilitation à diriger des recherches, Université Paris 7 (2016), available at http://www.oliviacaramello.com/Unification/ HDROliviaCaramello.pdf.
29. Caramello, O., and Johnstone, P. T., De Morgan's law and the theory of fields, Advances in Mathematics 222 (6), 2145-2152 (2009).
30. Caramello, O., and Russo, A. C., The Morita-equivalence between MValgebras and abelian `-groups with strong unit, Journal of Algebra 422, 752-787 (2015).
31. Caramello, O., and Russo, A. C., Lattice-ordered abelian groups and perfect MV-algebras: a topos-theoretic perspective, Bulletin of Symbolic Logic 22 (2), 170-214 (2016).
32. Caramello, O., and Russo, A. C., On the geometric theory of local MValgebras, Journal of Algebra 479, 263-313 (2017).
33. Caramello, O., and Wentzlaff, N., Cyclic theories, Applied Categorical Structures 25 (1), 105-126 (2017).
34. Cole, J., The bicategory of topoi and spectra, Reprints in Theory and Applications of Categories 25, 1-16 (2016).
35. Connes, A., Cohomologie cyclique et foncteur Extn, C. R. Acad. Sci. Paris, Sér. I Math. 296, 953-958 (1983).
36. Connes, A., and Consani, C., The Arithmetic Site, C. R. Acad. Sci. Paris, Sér. I Math. 352, 971-975 (2014).
37. Connes, A., and Consani, C., The Cyclic and Epicyclic Sites, Rendiconti del Seminario Matematico dell'Università di Padova 134, 197-238 (2015).
38. Coste, M., Localisation, spectra and sheaf representation, in Applications of Sheaves, Lecture Notes in Mathematics vol. 753 (Springer-Verlag, 1979), 212-238.
39. Coste, M., and Coste, M.-F., Théories cohérentes et topos cohérents, Séminaire Bénabou, Paris (1975).
40. Coste, M., Lombardi, H., and Roy, M.-F., Dynamical method in algebra: effective Nullstellensätze, Annals of Pure and Applied Logic, 111 (3), 203- 256 (2001).
41. Coumans, D., Generalising canonical extension to the categorical setting, Annals of Pure and Applied Logic, 163 (12), 1940-1961 (2012).
42. Giraud, J., Analysis situs, Séminaire Bourbaki, exposé 256 (1963).
43. Elkins, B., and Zilber, J. A., Categories of actions and Morita equivalence, Rocky Mountain Journal of Mathematics 6 (2), 199-226 (1976).
44. Funk, J., Lawson, M. V., and Steinberg B., Characterizations of Morita equivalent inverse semigroups, Journal of Pure and Applied Algebra 215 (9) 2262-2279 (2011).
45. Funk, J., and Hofstra, P., Topos theoretic aspects of semigroup actions, Theory and Applications of Categories 24 (6), 117-147 (2010).
46. Goldblatt, R., Topoi: The Categorial Analysis of Logic, Dover, Reprint of the Elsevier North-Holland Publishing Co., New York, 1983 edition.
47. Grothendieck, A., Revêtements étales et groupe fondamental (SGA 1), Séminaire de Géométrie Algébrique du Bois-Marie, année 1960-61; published as Lecture Notes in Mathematics, vol. 224 (Springer-Verlag, 1971).
48. Hakim, M., Topos annelés et schémas relatifs, Springer-Verlag (1972).
49. Hodges, W., Model theory, Encyclopedia of Mathematics and its Applications vol. 42, Cambridge University Press (1993).
50. Johnstone, P. T., Topos theory, Academic Press (1977).
51. Johnstone, P. T., A syntactic approach to Diers' localizable categories, in Applications of sheaves, Lecture Notes in Mathematics vol. 753 (Springer- Verlag, 1979), 466-478.
52. Johnstone, P. T., Conditions related to De Morgan's law, in Applications of Sheaves, Lecture Notes in Mathematics vol. 753 (Springer-Verlag, 1979), 479-491.
53. Johnstone, P. T., Stone spaces, Cambridge Studies in Advanced Mathematics No. 3, Cambridge University Press (1982).
54. Johnstone, P. T., Almost maximal ideals, Fundamenta Mathematicae 123, 197-209 (1984).
55. Johnstone, P. T., Sketches of an Elephant: a topos theory compendium. Vols. 1 and 2, Oxford University Press (2002).
56. Johnstone, P. T., and Wraith, G., Algebraic theories in toposes, in Indexed categories and their applications, Lecture Notes in Mathematics vol. 661 (Springer-Verlag, 1978), 141-242.
57. Joyal, A., and Tierney, M., An extension of the Galois theory of Grothendieck, Memoirs of the American Mathematical Society 51, no. 309, vii + 71 pp. (1984).
58. Joyal, A., and Wraith, G., Eilenberg-MacLane toposes and cohomology, Mathematical applications of category theory, Contemporary Mathematics, vol. 30 (American Mathematical Society, 1984), 117-131.
59. Lawvere, W., Functorial Semantics of Algebraic Theories (1963), republished in Reprints in Theory and Applications of Categories 5, 1-121 (2004).
60. Lawvere, W., Intrinsic Co-Heyting Boundaries and the Leibniz Rule in Certain Toposes, in Category Theory, Lecture Notes in Mathematics vol. 1488 (Springer-Verlag, 1991), 279-281.
61. Lawvere, W., Open problems in Topos Theory, 4 April 2009, manuscript available at http://cheng.staff.shef.ac.uk/pssl88/lawvere.pdf.
62. Mac Lane, S., Categories for the Working Mathematician, Graduate Texts in Mathematics, Vol. 5, 2nd ed., Springer-Verlag (1978).
63. Mac Lane, S., and Moerdijk, I., Sheaves in geometry and logic: a first introduction to topos theory, Springer-Verlag (1992).
64. Makkai, M., and Reyes, G., First-order categorical logic, Lecture Notes in Mathematics vol. 611, Springer-Verlag (1977).
65. Moerdijk, I., Morita equivalence for continuous groups, Mathematical Proceedings of the Cambridge Philosophical Society 103 (1), 97-115 (1988).
66. Moerdijk, I., Cyclic sets as a classifying topos (Utrecht, 1996), available at http://ncatlab.org/nlab/files/MoerdijkCyclic.pdf.
67. Paré, R., and Schumacher D., Abstract families and the Adjoint Functor Theorems, in Indexed categories and their applications, Lecture Notes in Mathematics vol. 661 (Springer-Verlag, 1978), 1-125.
68. Rajani, R., and Prest, M., Model-theoretic imaginaries and coherent sheaves, Applied Categorical Structures 17, 517-559 (2009).
69. Schreier, O., Die Untergruppen der freien Gruppen, Abh. Math. Sem. Univ. Hamburg vol. 5, 161-183 (1927).
70. Steinberg, S. A., Lattice-ordered Rings and Modules, Springer-Verlag (2010).
71. Talwar, S., Morita equivalence for semigroups, Journal of the Australian Mathematical Society (Series A) 59, 81-111 (1995).
72. Tierney, M., Forcing Topologies and Classifying Topoi, in Algebra, topology and category theory. A collection of papers in honor of Samuel Eilenberg (Academic Press, 1976), 211-219.
73. Vickers, S., Strongly algebraic = SFP (topically), Mathematical Structures in Computer Science 11 (6), 717-742 (2001).
74. Vickers, S., Locales and Toposes as Spaces, in Handbook of Spatial Logics (Springer, 2007), 429-496.