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

Wide subcategories #100

Closed nvarner closed 4 months ago

nvarner commented 5 months ago

Defines wide subcategories (HomPropertyOver) for #54. Includes some basic examples, and incorporates some preliminary feedback from @stschaef.