##  [Coinducción](/es/node/63374) 

  ##  [Coinducción](https://algebra.quantumdictionary.io/es/node/63375) 

  

 [![Algebra](/sites/default/files/styles/large/public/2026-01/Algebra.png.webp?itok=3pHxBnUF)](/topic-specific-dictionaries/pure-mathematics/algebra)

- Pure Mathematics -

**Algebra Dictionary**

 







 

 

 

 



 

 

 

 

Definición

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.