| Publication | Date of Publication | Type |
|---|
Decidable objects and molecular toposes
Revista de la Unión Matemática Argentina | 2025-01-20 | Paper |
The étendue of a combinatorial space and its dimension
Advances in Mathematics | 2024-12-10 | Paper |
The least subtopos containing the discrete skeleton of \(\Omega\)
Theory and Applications of Categories | 2024-08-27 | Paper |
Positive rigs
Forum Mathematicum | 2024-08-14 | Paper |
Bi-directional models of ``radically synthetic differential geometry
Theory and Applications of Categories | 2024-06-08 | Paper |
Separable MV-algebras and lattice-ordered groups
Journal of Algebra | 2024-03-14 | Paper |
The successive dimension, without elegance
Proceedings of the American Mathematical Society | 2024-02-15 | Paper |
Decidable objects and molecular toposes
| 2022-12-07 | Paper |
Maps with discrete fibers and the origin of basepoints
Applied Categorical Structures | 2022-09-12 | Paper |
A basis theorem for 2-rigs and rig geometry
| 2022-02-16 | Paper |
The canonical intensive quality of a cohesive topos
| 2021-08-03 | Paper |
The hyperconnected maps that are local
Journal of Pure and Applied Algebra | 2021-01-28 | Paper |
Level \(\varepsilon\)
| 2020-01-13 | Paper |
Level {\epsilon}
| 2019-09-27 | Paper |
Monic skeleta, boundaries, Aufhebung, and the meaning of `one-dimensionality'
| 2019-09-12 | Paper |
Every sufficiently cohesive topos is infinitesimally generated
| 2019-01-23 | Paper |
The unity and identity of decidable objects and double-negation sheaves
Journal of Symbolic Logic | 2019-01-04 | Paper |
The construction of \(\pi_0\) in Axiomatic Cohesion
Tbilisi Mathematical Journal | 2017-12-08 | Paper |
Every rig with a one-variable fixed point presentation is the Burnside rig of a prextensive category
Applied Categorical Structures | 2017-11-24 | Paper |
On the relation between continuous and combinatorial
Journal of Homotopy and Related Structures | 2017-07-19 | Paper |
A representation theorem for integral rigs and its applications to residuated lattices.
Journal of Pure and Applied Algebra | 2016-05-18 | Paper |
Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness
| 2015-07-08 | Paper |
Continuous cohesion over sets
Theory and Applications of Categories | 2014-11-04 | Paper |
Sufficient cohesion over atomic toposes
Cahiers de Topologie et Géométrie Différentielle Catégoriques | 2014-08-28 | Paper |
Bimonadicity and the explicit basis property
Theory and Applications of Categories | 2013-09-04 | Paper |
scientific article; zbMATH DE number 5934750 (Why is no real title available?)
| 2011-08-01 | Paper |
Läuchli's completeness theorem from a topos-theoretic perspective
Applied Categorical Structures | 2010-05-07 | Paper |
Algebraic categories whose projectives are explicitly free
| 2009-11-21 | Paper |
Compatible operations on commutative residuated lattices
Journal of Applied Non-Classical Logics | 2009-11-11 | Paper |
On some categories of involutive centered residuated lattices
Studia Logica | 2009-03-17 | Paper |
Combinatorial functional and differential equations applied to differential posets
Discrete Mathematics | 2008-11-12 | Paper |
A universal property of the monoidal 2-category of cospans of finite linear orders and surjections
| 2008-03-31 | Paper |
Cocomplete toposes whose exact completions are toposes
Journal of Pure and Applied Algebra | 2007-06-26 | Paper |
scientific article; zbMATH DE number 2172974 (Why is no real title available?)
| 2005-06-01 | Paper |
Topological and limit-space subcategories of countably-based equilogical spaces
Mathematical Structures in Computer Science | 2004-02-24 | Paper |
scientific article; zbMATH DE number 2028928 (Why is no real title available?)
| 2004-01-19 | Paper |
About \({|}/{|}\)-quantifiers
Applied Categorical Structures | 2003-10-14 | Paper |
A characterization of the left exact categories whose exact completions are toposes
Journal of Pure and Applied Algebra | 2003-03-09 | Paper |
More exact completions that are toposes
Annals of Pure and Applied Logic | 2002-06-24 | Paper |
Closure operators in exact completions
Theory and Applications of Categories | 2001-12-11 | Paper |
scientific article; zbMATH DE number 1330449 (Why is no real title available?)
| 1999-09-21 | Paper |
