1 citations · 1 across the 5 of their papers we have counts for
5 papers
Separable MV-algebras and lattice-groups
Vincenzo Marra, Matías Menni
General theory determines the notion of separable MV-algebra (equivalently, of separable unital lattice-ordered Abelian group). We establish the following structure theorem: An MV-…
The Unity and Identity of decidable objects and double-negation sheaves
Matías Menni
Let be a topos, be the full subcategory of decidable objects, and be the full s…
Level ε
Francisco Marmolejo, Matías Menni
Lawvere has observed that certain 'gros' toposes in algebraic geometry suggest the existence of an 'infinitesimal level', closely related to finite-dimensional local algebras. Moti…
On the relation between continuous and combinatorial
F. Marmolejo, M. Menni
Axiomatic Cohesion proposes that the contrast between cohesion and non-cohesion may be expressed by means of a geometric morphism (between toposes…
A universal property of the monoidal 2-category of cospans of finite linear orders and surjections
M. Menni, N. Sabadini, R. F. C. Walters
We prove that the monoidal 2-category of cospans of finite linear orders and surjections is the universal monoidal category with an object X with a semigroup and a cosemigroup stru…