Matías Menni

12 papers B 1Journal 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
Why the Kock-Lawvere axiom holds, and also doesn't, in the classifier of integral rigs.
Math. Struct. Comput. Sci.
Matías Menni
2022 J jnl
Maps with Discrete Fibers and the Origin of Basepoints.
Appl. Categorical Struct.
Matías Menni
2018 J jnl
The Unity and Identity of Decidable Objects and double-Negation sheaves.
J. Symb. Log.
Matías Menni
2017 J jnl
Every Rig with a One-Variable Fixed Point Presentation is the Burnside Rig of a Prextensive Category.
Appl. Categorical Struct.
Matías Menni
2014 J jnl
Modes of Adjointness.
J. Philos. Log.
Matías Menni, C. Smith
2010 J jnl
Läuchli's Completeness Theorem from a Topos-Theoretic Perspective.
Appl. Categorical Struct.
Matías Menni
2008 J jnl
Combinatorial functional and differential equations applied to differential posets.
Discret. Math.
Matías Menni
2008 J jnl
On Some Categories of Involutive Centered Residuated Lattices.
Stud Logica
José L. Castiglioni, Matías Menni, Marta Sagastume
2003 J jnl
About N-quantifiers.
Appl. Categorical Struct.
Matías Menni
2002 J jnl
More exact completions that are toposes.
Ann. Pure Appl. Log.
Matías Menni
2002 J jnl
Topological and Limit-Space Subcategories of Countably-Based Equilogical Spaces.
Math. Struct. Comput. Sci.
Matías Menni, Alex K. Simpson
1999 B conf
The Largest Topological Subcategory of Countably-based Equilogical Spaces.
MFPS
Matías Menni, Alex K. Simpson