search

b-mehta / topos

Topos theory in lean
55 stars 2 forks source link

reflexive coequalizers #20

Open b-mehta opened 4 years ago

b-mehta commented 4 years ago

More fun with the (co)limits API! See over.lean for why we should have this.