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 discrete objects in the effective topos:
On fibrations of enriched groupoids as categorical semantics for identity types in homotopy type theory:
A 2-comonad characterizing Grothendieck fibrations:
Last revised on August 20, 2026 at 16:40:22. See the history of this page for a list of all contributions to it.