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

Rezk by hit #53

Open maxsnew opened 9 months ago

maxsnew commented 9 months ago

Continuation of https://github.com/maxsnew/multi-poly-cats/pull/22 but as a branch on this repo so it's easier to access.

I adapted some code from HITs.GroupoidQuotient to hopefully make things easier