This HTML5 document contains 13 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
category-eshttp://es.dbpedia.org/resource/Categoría:
dcthttp://purl.org/dc/terms/
wikipedia-eshttp://es.wikipedia.org/wiki/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n6https://www.andrew.cmu.edu/course/80-413-713/notes/chap10.
n4http://es.wikipedia.org/wiki/Álgebra_inicial?oldid=118121527&ns=
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
Subject Item
dbpedia-es:Álgebra_inicial
rdfs:label
Álgebra inicial
rdfs:comment
En matemáticas, un álgebra inicial es un objeto inicial de la categoría de para un endofunctor F dado. Proporcionan un marco general para describir la inducción y la recursión. Considérese por ejemplo el endofuntor en la categoría de conjuntos, donde es el conjunto de un solo elemento, el objeto terminal de la categoría. Un álgebra para este endofuntor es un conjunto junto a un elemento y una función . Los números naturales con el cero como elemento y la función sucesor forman el álgebra inicial para este endofuntor.
dct:subject
category-es:Teoría_de_tipos category-es:Teoría_de_categorías category-es:Programación_funcional
foaf:isPrimaryTopicOf
wikipedia-es:Álgebra_inicial
dbo:wikiPageID
8349923
dbo:wikiPageRevisionID
118121527
dbo:wikiPageExternalLink
n6:pdf
dbo:wikiPageLength
1091
prov:wasDerivedFrom
n4:0
dbo:abstract
En matemáticas, un álgebra inicial es un objeto inicial de la categoría de para un endofunctor F dado. Proporcionan un marco general para describir la inducción y la recursión. Considérese por ejemplo el endofuntor en la categoría de conjuntos, donde es el conjunto de un solo elemento, el objeto terminal de la categoría. Un álgebra para este endofuntor es un conjunto junto a un elemento y una función . Los números naturales con el cero como elemento y la función sucesor forman el álgebra inicial para este endofuntor.
Subject Item
wikipedia-es:Álgebra_inicial
foaf:primaryTopic
dbpedia-es:Álgebra_inicial