Giuseppe (Pino) Rosolini is a mathematician, now retired from Università di Genova. His research interest are mainly in categorical logic, topos theory and constructive mathematics, with possible applications to theoretical computer science.
On fibrations of enriched groupoids as categorical semantics for identity types in homotopy type theory:
A 2-comonad characterizing Grothendieck fibrations:
Last revised on July 30, 2026 at 14:19:22. See the history of this page for a list of all contributions to it.