Simon Henry

activity

20132026

most citedTowards a constructive simplicial model of Univalent Foundations

15 citations · 73 across the 25 of their papers we have counts for

collaborators

Showing 2016Show all

2 papers · 1 filter

math.CT2016★ 1 cited

The convolution algebra of an absolutely locally compact topos

Simon Henry

We introduce a class of toposes called "absolutely locally compact" toposes and of "admissible" sheaf of rings over such toposes. To any such ringed topos $(T, A)$ we atta…

math.CT2016★ 5 cited

Algebraic models of homotopy types and the homotopy hypothesis

Simon Henry

We introduce and study a notion of cylinder coherator similar to the notion of Grothendieck coherator which define more flexible notion of weak infinity groupoids. We show that eac…