Path categories and propositional identity types

Publicités