search

maxsnew / cubical-categorical-logic

Extensions to the cubical stdlib category theory for categorical logic/type theory
MIT License
25 stars 5 forks source link

SETᴰ has VerticalTerminalsᴰ #96

Closed hejohns closed 6 months ago

hejohns commented 6 months ago

As per zulip messages about https://github.com/maxsnew/cubical-categorical-logic/pull/95

Using the current module locations of Vertical->Lifted and such, which are moving in the above PR.