show that reindexing preserves fibrationhood

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 maxsnew closed 7 months ago