1.AdjectiveRight adjoint to a forgetful functor
G
{\displaystyle G}
; such that any map
f
:
G
(
A
)
→
X
{\displaystyle f:G(A)\to X}
induces a universal map
f
¯
:
A
→
F
(
X
)
{\displaystyle {\bar {f}}:A\to F(X)}
.
2.AdjectiveBelonging to the image of some cofree functor.