Path categories and propositional identity types

This entry was posted in Philosophie. Bookmark the permalink.