| Publication | Date of Publication | Type |
|---|
On morphisms of relative toposes
| 2023-10-31 | Paper |
The Unification of Mathematics via Topos Theory
Studies in Universal Logic | 2023-09-20 | Paper |
On the dependent product in toposes
Mathematical Logic Quarterly | 2023-09-12 | Paper |
scientific article; zbMATH DE number 7720030 (Why is no real title available?)
| 2023-07-28 | Paper |
scientific article; zbMATH DE number 7692245 (Why is no real title available?)
| 2023-06-05 | Paper |
Grothendieckian lectures. Edited by Frédéric Jaëck. With a preface by Peter Scholze
Nouvelles Visions des Sciences | 2023-02-20 | Paper |
Fibred sites and existential toposes
| 2022-12-22 | Paper |
Grothendieck toposes as unifying `bridges': a mathematical morphogenesis
| 2022-10-09 | Paper |
Relative topos theory via stacks
| 2021-07-09 | Paper |
General affine adjunctions, Nullstellensätze, and dualities
Journal of Pure and Applied Algebra | 2020-08-28 | Paper |
Denseness conditions, morphisms and equivalences of toposes
| 2019-06-20 | Paper |
Some aspects of topological Galois theory
Journal of Geometry and Physics | 2019-06-19 | Paper |
Syntactic categories for Nori motives
Selecta Mathematica. New Series | 2018-09-21 | Paper |
On the geometric theory of local MV-algebras
Journal of Algebra | 2017-08-28 | Paper |
Lattice-ordered abelian groups and perfect MV-algebras: a topos-theoretic perspective
The Bulletin of Symbolic Logic | 2017-05-26 | Paper |
Cyclic theories
Applied Categorical Structures | 2017-03-08 | Paper |
Theories, sites, toposes. Relating and studying mathematical theories through topos-theoretic `bridges'
Oxford Scholarship Online | 2016-10-13 | Paper |
Priestley-type dualities for partially ordered structures
Annals of Pure and Applied Logic | 2016-06-03 | Paper |
Topological Galois theory
Advances in Mathematics | 2016-02-18 | Paper |
Motivic toposes
| 2015-07-22 | Paper |
Fraïssé's construction from a topos-theoretic perspective
Logica Universalis | 2015-02-05 | Paper |
The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit.
Journal of Algebra | 2014-11-17 | Paper |
Topologies for intermediate logics
Mathematical Logic Quarterly (MLQ) | 2014-10-10 | Paper |
A general method for building reflections
Applied Categorical Structures | 2014-06-24 | Paper |
Extensions of flat functors and theories of presheaf type
| 2014-04-17 | Paper |
Site characterizations for geometric invariants of toposes
Theory and Applications of Categories | 2013-09-04 | Paper |
Atomic toposes and countable categoricity
Applied Categorical Structures | 2012-12-21 | Paper |
Yoneda representations of flat functors and classifying toposes
Theory and Applications of Categories | 2012-10-22 | Paper |
Syntactic characterizations of properties of classifying toposes
Theory and Applications of Categories | 2012-05-29 | Paper |
Gelfand spectra and Wallman compactifications
| 2012-04-15 | Paper |
Universal models and definability
Mathematical Proceedings of the Cambridge Philosophical Society | 2012-03-21 | Paper |
A characterization theorem for geometric logic
Annals of Pure and Applied Logic | 2011-09-12 | Paper |
The unification of Mathematics via Topos Theory - Russian version
| 2011-04-04 | Paper |
A topos-theoretic approach to Stone-type dualities
| 2011-03-17 | Paper |
De Morgan classifying toposes
Advances in Mathematics | 2009-11-10 | Paper |
De Morgan's law and the theory of fields
Advances in Mathematics | 2009-11-10 | Paper |
One topos, many sites
| 2009-07-14 | Paper |
