1 paper
Shin-ya Katsumata, Xavier Rival, Jérémy Dubut
Categorical semantics of type theories are often characterized as structure-preserving functors. This is because in category theory both the syntax and the domain of interpretation…