From the 1 of 1 linked paper with an AI index.
1 paper
Francesco Dagnino, Jacopo Emmenegger, Andrea Giusto
The paper investigates comprehension categories used to model type dependency, introduces a subclass called Lawvere‑Ehrhard comprehension categories, and provides constructions of…