英和和英

形容詞

cofree (not comparable)

1. (category theory, of a functor ${\displaystyle F}$) Right adjoint to a forgetful functor ${\displaystyle G}$; such that any map ${\displaystyle f:G(A)\to X}$ induces a universal map ${\displaystyle {\bar {f}}:A\to F(X)}$.
2. (category theory, of an object) Belonging to the image of some cofree functor.
3. (mathematics) The dual of a free structure.
   • 2015, Clément Dupont, Bruno Vallette, “Brown's moduli spaces of curves and the gravity operad”, in arXiv‎:

     Our method relies on both the geometric and the algebraic aspects of the problem: the complete geometric description of the cohomology of Brown's moduli spaces and the coradical filtration of cofree cooperads.

派生語