Coinducción

- Pure Mathematics -
Algebra Dictionary
La construcción dual a la inducción que produce objetos sobre un contexto mayor por una propiedad universal de tipo límite o basada en Hom, típicamente realizada como Hom_R(S, −) o como adjunto por la derecha a la restricción, generando el objeto más general compatible con los datos del subcontexto de modo límite.