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

Displayed Category of Displayed Functors (#68) #69

Closed hejohns closed 8 months ago

hejohns commented 8 months ago

68