About: F-algebra     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FF-algebra

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.

AttributesValues
rdfs:label
  • F-algebra
  • F-Algebra
  • F-algebra
  • F代数
  • F-алгебра
  • F-алгебра
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 .
  • Eine F-Algebra ist eine Struktur, welche allein auf Funktoreigenschaften beruht. Dual zum Begriff der F-Algebra ist der der
  • 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.
  • 数学の特に圏論におけるF-代数(エフだいすう、英: F-algebra)は、(自己)関手 F に従って定義される構造の一つで、リストや木構造のようなプログラミングで使われるデータ構造を表現するのに利用できる。 F-始代数は、数学的帰納法の原理を捉えたものと考えることができる。文脈上紛れの虞が無い場合は、函手 F を明示するための接頭辞 F- を省略して単に代数ということがある。 F-代数は F-余代数の双対である。
  • В теории категорий -алгебра — это алгебраическая структура, связанная с функтором . -алгебры можно использовать в программировании для представления структур данных, таких как списки и деревья.
  • У математиці, і особливо у теорії категорій, -алгебра — це алгебраїчна структура, пов'язана з функтором .
foaf:depiction
  • External Image
foaf:isPrimaryTopicOf
thumbnail
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
sameAs
Faceted Search & Find service v1.17_git51 as of Sep 16 2020


Alternative Linked Data Documents: PivotViewer | iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3319 as of Dec 29 2020, on Linux (x86_64-centos_6-linux-glibc2.12), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2021 OpenLink Software