# Commit 2022-08-16 04:11 3e0dd193

View on Github →feat(category_theory): compute subobjects of structured arrows (#15912) One step closer to the Special Adjoint Functor Theorem.

feat(category_theory): compute subobjects of structured arrows (#15912) One step closer to the Special Adjoint Functor Theorem.