Commit 2022-08-13 19:21 8a032292
View on Github →feat(category_theory/limits): cone F ≌ costructured_arrow (const J) F (#15796)
This will be used to show that C
has limits of shape J
if and only if const J
has a right adjoint.
feat(category_theory/limits): cone F ≌ costructured_arrow (const J) F (#15796)
This will be used to show that C
has limits of shape J
if and only if const J
has a right adjoint.