Property |
Value |
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. (es)
- 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. (es)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
| |
dbo:wikiPageRevisionID
| |
dct:subject
| |
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. (es)
- 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. (es)
|
rdfs:label
|
- Álgebra inicial (es)
- Álgebra inicial (es)
|
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is foaf:primaryTopic
of | |