mathlib3
feat(category_theory/limits): the pullback of a monomorphism is a monomorphism
#2113

Merged

feat(category_theory/limits): the pullback of a monomorphism is a monomorphism #2113

mergify merged 5 commits into leanprover-community:master from pullback-mono

The pullback of a monomorphism is a monomorphism

7cff560d

The pushout of an epimorphism is an epimorphism

fa954502

jcommelin commented on 2020-03-09

Fix a proof

01a91720

cipher1024 assigned

kim-em 6 years ago

kim-em commented on 2020-03-09

renaming

ae6ea8aa

kim-em approved these changes on 2020-03-09

kim-em added ready-to-merge

Merge branch 'master' into pullback-mono

0cee6c9b

mergify merged e8ad2e38 into master 6 years ago

Reviewers

kim-em

jcommelin

Assignees

kim-em

Labels

ready-to-merge

Milestone

No milestone