5 citations · 10 across the 4 of their papers we have counts for
1 paper · 1 filter
Daniel Gratzer, Jonathan Sterling
We argue that locally Cartesian closed categories form a suitable doctrine for defining dependent type theories, including non-extensional ones. Using the theory of sketches, one m…