Now showing items 1-1 of 1

    • Existencia de coálgebras finales para funtores polinomiales 

      Téllez Crespo, Andrés Felipe (Universidad del ValleColombiaFACULTAD DE CIENCIAS NATURALES Y EXACTASMATEMÁTICAS, 2011)
      El trabajo es una reconstrucción de un resultado que dice que todo funtor polinomial Kripke tiene asociada una coálgebra final, este resultado fue probado por primera vez en 1989 por P. Aczel y N. Mendler en la revista ...