The story
Etymology from Wiktionary, CC BY-SA 4.0.
cofree
Today it means: Right adjoint to a forgetful functor G; such that any map f:G(A)→X induces a universal map ̄f:A→F(X). Full definition →
Today it means: Right adjoint to a forgetful functor G; such that any map f:G(A)→X induces a universal map ̄f:A→F(X). Full definition →
Etymology from Wiktionary, CC BY-SA 4.0.