Vertical terminal objects

maxsnew / cubical-categorical-logic

Extensions to the cubical stdlib category theory for categorical logic/type theory

MIT License

25 stars 5 forks source link

Closed hejohns closed 6 months ago

hejohns commented 6 months ago

This PR contains commits from #79, which would be annoying to review. Closing to reopen a cleaner PR.