3 citations · 4 across the 2 of their papers we have counts for
2 papers
math.CT2024★ 1 cited
The étendue of a combinatorial space and its dimension
Matí as Menni
To each simplicial set we naturally assign an étendue whose internal logic captures information about the geometry of . In particular, we show that, for 'non-singula…
math.CT2015★ 3 cited
A representation theorem for integral rigs and its applications to residuated lattices
J. L. Castiglioni, M. Menni, W. J. Zuluaga Botero
We prove that every integral rig in Sets is (functorially) the rig of global sections of a sheaf of really local integral rigs. We also show that this representation result may be…