Skip to content
ontologydriven
Sign out

Dictionary

Words, grammatical forms and meanings linked to the ontology.

cofree en · ADJ

Etymology

From co- + free.

Meanings

  1. (not-comparable, of a functor F) Right adjoint to a forgetful functor G; such that any map f:G(A)→X induces a universal map ̄f:A→F(X).
  2. (not-comparable, of an object) Belonging to the image of some cofree functor.
  3. (not-comparable) The dual of a free structure.
    • 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. 2015, Clément Dupont, Bruno Vallette, “Brown's moduli spaces of curves and the gravity operad”, in arXiv:

Deriveds

cofreeness