187
click to vote
CSL
2001
Springer
16 years 5 days ago
2001
Springer
We introduce a method of extending arbitrary categories by a terminal object and apply this method in various type theoretic settings. In particular, we show that categories that a...