Theories, Sites, Toposes: Relating and studying mathematical theories through topos-theoretic'bridges' O Caramello Oxford University Press, 2018 | 142* | 2018 |
The unification of Mathematics via Topos Theory (2010) O Caramello arXiv preprint math.CT/1006.3930, 0 | 64* | |
A topos-theoretic approach to Stone-type dualities O Caramello arXiv preprint arXiv:1103.3493, 2011 | 36* | 2011 |
Fraïssé’s construction from a topos-theoretic perspective O Caramello Logica Universalis 8, 261-281, 2014 | 35* | 2014 |
Topological galois theory O Caramello Advances in Mathematics 291, 646-695, 2016 | 29 | 2016 |
Denseness conditions, morphisms and equivalences of toposes O Caramello arXiv preprint arXiv:1906.08737, 2019 | 27 | 2019 |
The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit O Caramello, AC Russo Journal of Algebra 422, 752-787, 2015 | 24 | 2015 |
SYNTACTIC CHARACTERIZATIONS OF PROPERTIES OF CLASSIFYING TOPOSES. O Caramello Theory & Applications of Categories 26 (2), 2012 | 24 | 2012 |
De Morgan classifying toposes O Caramello Advances in Mathematics 222 (6), 2117-2144, 2009 | 22 | 2009 |
Syntactic categories for Nori motives L Barbieri-Viale, O Caramello, L Lafforgue Selecta Mathematica 24 (4), 3619-3648, 2018 | 21 | 2018 |
Universal models and definability O Caramello Mathematical Proceedings of the Cambridge Philosophical Society 152 (2), 279-302, 2012 | 21 | 2012 |
Atomic toposes and countable categoricity O Caramello Applied Categorical Structures 20, 379-391, 2012 | 19 | 2012 |
Topos-theoretic background O Caramello Preprint available at http://www. oliviacaramello. com/Unification …, 2014 | 14 | 2014 |
De Morgan's law and the theory of fields O Caramello, P Johnstone Advances in Mathematics 222 (6), 2145-2152, 2009 | 14 | 2009 |
Yoneda representations of flat functors and classifying toposes O Caramello Theory and Applications of Categories 26 (21), 538-553, 2012 | 13 | 2012 |
Lattice-ordered abelian groups and perfect MV-algebras: a topos-theoretic perspective O Caramello, AC Russo Bulletin of Symbolic Logic 22 (2), 170-214, 2016 | 12 | 2016 |
Extensions of flat functors and theories of presheaf type O Caramello arXiv preprint arXiv:1404.4610, 2014 | 10 | 2014 |
Site characterizations for geometric invariants of toposes O Caramello arXiv preprint arXiv:1112.2542, 2011 | 10 | 2011 |
Fibred sites and existential toposes O Caramello arXiv preprint arXiv:2212.11693, 2022 | 9 | 2022 |
Relative topos theory via stacks O Caramello, R Zanfa arXiv preprint arXiv:2107.04417, 2021 | 9 | 2021 |