1 paper · 1 filter
Francesco Dagnino, Jacopo Emmenegger, Andrea Giusto
Jacobs comprehension categories subsume a large class of categorical models of type dependency, supporting also the description of morphisms between types. We study the relationshi…