mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(category_theory): compute subobjects of structured arrows

Open TwoFX opened this issue 3 years ago • 1 comments

One step closer to the Special Adjoint Functor Theorem.

  • [x] depends on: #15494
  • [ ] depends on: #16050 Open in Gitpod

TwoFX avatar Aug 07 '22 18:08 TwoFX

This PR/issue depends on:

  • ~~leanprover-community/mathlib#15494~~
  • ~~leanprover-community/mathlib#16050~~ By Dependent Issues (🤖). Happy coding!

mathlib-dependent-issues-bot avatar Aug 15 '22 15:08 mathlib-dependent-issues-bot

Pull request successfully merged into master.

Build succeeded:

bors[bot] avatar Aug 16 '22 06:08 bors[bot]