| Information | |
|---|---|
| has gloss | eng: In mathematics, a subcategory A of a category B is said to be reflective in B when the inclusion functor from A to B has a left adjoint. This adjoint is sometimes called a reflector. Dually, A is said to be coreflective in B when the inclusion functor has a right adjoint. |
| lexicalization | eng: reflective subcategory |
| instance of | e/Adjoint functors |
| Media | |
|---|---|
| media:img | Refl1.png |
| media:img | Reflsq1.png |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint