En Joy, el significado de una función es un [[homomorfismo]] desde el [[monoide]] [[sintáctico]] sobre el monoide [[semántica|semántico]].