Un funtor de operada toma los tipos de una operada a los tipos de otra, y luego las op- eraciones de la primera a las operaciones de la segunda de una manera que respete esto. De hecho, cada caja en u...Un funtor de operada toma los tipos de una operada a los tipos de otra, y luego las op- eraciones de la primera a las operaciones de la segunda de una manera que respete esto. De hecho, cada caja en un diagrama de cableado representa un tipo t de la operada dada O y un álgebra F: O → Set tomará un tipo t y devolverá un conjunto F (t) de rellenos para la caja t.
