search

b-mehta / topos

Topos theory in lean
55 stars 2 forks source link

[meta] Projects #19

Closed b-mehta closed 4 years ago

b-mehta commented 4 years ago

Might be a good idea to split into (at least) two projects right now, one for subobj classifier things and one for cartesian closed