23 citations · 34 across the 12 of their papers we have counts for
1 paper · 1 filter
Taichi Uemura
We introduce fibred type-theoretic fibration categories which are fibred categories between categorical models of Martin-Löf type theory. Fibred type-theoretic fibration categories…