M. Menni

activity

20072023

most citedA universal property of the monoidal 2-category of cospans of finite linear orders and surjections

1 citations · 1 across the 5 of their papers we have counts for

collaborators

Showing 2019 · math.CTShow all

2 papers · 2 filters

math.CT2019

The Unity and Identity of decidable objects and double-negation sheaves

Matías Menni

Let $E$ be a topos, $Dec (E) \to E$ be the full subcategory of decidable objects, and $E_{\neg\neg} \to E$ be the full s…

math.CT2019

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…