nLab Jacopo Emmenegger

Redirected from "left exact (infinity,1)-functor".
Selected writings

Selected writings

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

A 2-comonad characterizing Grothendieck fibrations:

On a candidate for a 2-topos version of the effective topos:

category: people

Last revised on April 1, 2025 at 13:01:31. See the history of this page for a list of all contributions to it.