b-mehta / topos

Topos theory in lean
56 stars 2 forks source link

Epi-mono factorisation in LCCC #25

Closed b-mehta closed 4 years ago

b-mehta commented 4 years ago

Thm 6.7 in my notes or Prop IV.6.1 in MM and

Depends on #20 and #23