mathlib3
feat(category_theory): monos and epis in Type and Top
#1030

Merged

feat(category_theory): monos and epis in Type and Top #1030

mergify merged 4 commits into master from rwbarton-mono-epi

rwbarton requested a review 7 years ago

jcommelin commented on 2019-05-14

fpvandoorn commented on 2019-05-14

feat(category_theory): monos and epis in Type and Top

19325302

imports

56539a6a

add file header

04ed6e61

use notation for adjunction

6ea84f8c

rwbarton force pushed from fc6962e9 to 6ea84f8c 7 years ago

fpvandoorn approved these changes on 2019-05-15

jcommelin approved these changes on 2019-05-15

jcommelin added ready-to-merge

mergify merged b5aae18a into master 7 years ago

mergify deleted the rwbarton-mono-epi branch 7 years ago

Reviewers

jcommelin

fpvandoorn

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone