5 citations · 11 across the 11 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023
Categorical models of subtyping
Greta Coraglia, Jacopo Emmenegger
Most categorical models for dependent types have traditionally been heavily set based: contexts form a category, and for each we have a set of types in said context -- and for each…
math.CT2023
A comonad for Grothendieck fibrations
Jacopo Emmenegger, Luca Mesiti, Giuseppe Rosolini +1
We prove that cloven Grothendieck fibrations over a fixed base $\ct{B}$ are the pseudo-coalgebras for a lax idempotent 2-comonad on $\ct{Cat}/\ct{B}$. We show this via an original…