Free-forgetful adjunction

GPTKB entity

Statements (19)
Predicate Object
gptkbp:instanceOf adjunction
gptkbp:arises_in gptkb:algebra
gptkb:topology
universal algebra
gptkbp:describes adjunction between categories
gptkbp:example adjunction
gptkbp:field gptkb:category_theory
gptkbp:formalized_by natural transformations
gptkbp:has_left_adjoint free functor
gptkbp:has_right_adjoint forgetful functor
https://www.w3.org/2000/01/rdf-schema#label Free-forgetful adjunction
gptkbp:involves forgetful functor
free functor
gptkbp:relatedTo monads
universal property
gptkbp:usedFor constructing free objects
studying algebraic structures
gptkbp:bfsParent gptkb:Adjoint_functor
gptkbp:bfsLayer 6