On fibrations of enriched groupoids as categorical semantics for identity types in homotopy type theory:

- Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini, ยง3 in:
*Elementary fibrations of enriched groupoids*, Mathematical Structures in Computer Science**31**9 (2021) 958-978 [doi:10.1017/S096012952100030X]

A 2-comonad characterizing Grothendieck fibrations:

- Jacopo Emmenegger, Luca Mesiti, Giuseppe Rosolini, Thomas Streicher,
*A comonad for Grothendieck fibrations*[arXiv:2305.01474]

category: people

Last revised on October 27, 2023 at 11:02:32. See the history of this page for a list of all contributions to it.