| dbo:abstract
|
- F-algebra je v teorii kategorií dvojice , kde je nosný objekt a morfismus . F-algebry jsou zobecněním abstraktních algebraických struktur. Homomorfismus mezi dvěma F-algebrami a je morfismus takový, že . F-algebry spolu s homomorfismy tvoří kategorii. Má-li tato kategorie počáteční objekt, unikátní morfismy z toho objektu se nazývají . Katamorfismy jsou zobecněním operace ve funkcionálním programování. Příklad: signatura grup je dána funktorem . (cs)
- Eine F-Algebra ist eine Struktur, welche allein auf Funktoreigenschaften beruht. Dual zum Begriff der F-Algebra ist der der (de)
- In mathematics, specifically in category theory, F-algebras generalize the notion of algebraic structure. Rewriting the algebraic laws in terms of morphisms eliminates all references to quantified elements from the axioms, and these algebraic laws may then be glued together in terms of a single functor F, the signature. F-algebras can also be used to represent data structures used in programming, such as lists and trees. The main related concepts are initial F-algebras which may serve to encapsulate the induction principle, and the dual construction F-coalgebras. (en)
- 数学の特に圏論におけるF-代数（エフだいすう、英: F-algebra）は、（自己）関手 F に従って定義される構造の一つで、リストや木構造のようなプログラミングで使われるデータ構造を表現するのに利用できる。 F-始代数は、数学的帰納法の原理を捉えたものと考えることができる。文脈上紛れの虞が無い場合は、函手 F を明示するための接頭辞 F- を省略して単に代数ということがある。 F-代数は F-余代数の双対である。 (ja)
- В теории категорий -алгебра — это алгебраическая структура, связанная с функтором . -алгебры можно использовать в программировании для представления структур данных, таких как списки и деревья. (ru)
- У математиці, і особливо у теорії категорій, -алгебра — це алгебраїчна структура, пов'язана з функтором . (uk)
|
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 14010 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:date
|
- 2019-04-27 (xsd:date)
- 2020-08-04 (xsd:date)
- 2020-11-30 (xsd:date)
- 2021-02-12 (xsd:date)
|
| dbp:url
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdfs:comment
|
- F-algebra je v teorii kategorií dvojice , kde je nosný objekt a morfismus . F-algebry jsou zobecněním abstraktních algebraických struktur. Homomorfismus mezi dvěma F-algebrami a je morfismus takový, že . F-algebry spolu s homomorfismy tvoří kategorii. Má-li tato kategorie počáteční objekt, unikátní morfismy z toho objektu se nazývají . Katamorfismy jsou zobecněním operace ve funkcionálním programování. Příklad: signatura grup je dána funktorem . (cs)
- Eine F-Algebra ist eine Struktur, welche allein auf Funktoreigenschaften beruht. Dual zum Begriff der F-Algebra ist der der (de)
- In mathematics, specifically in category theory, F-algebras generalize the notion of algebraic structure. Rewriting the algebraic laws in terms of morphisms eliminates all references to quantified elements from the axioms, and these algebraic laws may then be glued together in terms of a single functor F, the signature. F-algebras can also be used to represent data structures used in programming, such as lists and trees. The main related concepts are initial F-algebras which may serve to encapsulate the induction principle, and the dual construction F-coalgebras. (en)
- 数学の特に圏論におけるF-代数（エフだいすう、英: F-algebra）は、（自己）関手 F に従って定義される構造の一つで、リストや木構造のようなプログラミングで使われるデータ構造を表現するのに利用できる。 F-始代数は、数学的帰納法の原理を捉えたものと考えることができる。文脈上紛れの虞が無い場合は、函手 F を明示するための接頭辞 F- を省略して単に代数ということがある。 F-代数は F-余代数の双対である。 (ja)
- В теории категорий -алгебра — это алгебраическая структура, связанная с функтором . -алгебры можно использовать в программировании для представления структур данных, таких как списки и деревья. (ru)
- У математиці, і особливо у теорії категорій, -алгебра — це алгебраїчна структура, пов'язана з функтором . (uk)
|
| rdfs:label
|
- F-algebra (cs)
- F-Algebra (de)
- F-algebra (en)
- F代数 (ja)
- F-алгебра (ru)
- F-алгебра (uk)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is rdfs:seeAlso
of | |
| is foaf:primaryTopic
of | |
