Notes on Cambridge Maths

Something looks off?

The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc.
Submit other issues on GitHub.

Reflective Subcategory

A reflective subcategory of
is a Full subcategory for which the inclusion

has a left Adjoint.
Note that this Adjunction is necessarily a Reflection, as inclusions are always Faithfull.

Something looks off?

The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc.
Submit other issues on GitHub.

Graph View

Backlinks