Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/F-algebra> ?p ?o }
- F-algebra abstract "In mathematics, specifically in category theory, F-algebras generalize 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-algebra thumbnail F_algebra.svg?width=300.
- F-algebra wikiPageExternalLink free-rectypes.txt.
- F-algebra wikiPageExternalLink algebra_20and_20coalgebra.html.
- F-algebra wikiPageExternalLink JR.pdf.
- F-algebra wikiPageExternalLink thesis.pdf.
- F-algebra wikiPageExternalLink understanding-algebras.
- F-algebra wikiPageID "2168700".
- F-algebra wikiPageLength "12678".
- F-algebra wikiPageOutDegree "68".
- F-algebra wikiPageRevisionID "683715590".
- F-algebra wikiPageWikiLink Abelian_group.
- F-algebra wikiPageWikiLink Ackermann_function.
- F-algebra wikiPageWikiLink Actual_infinity.
- F-algebra wikiPageWikiLink Algebra_over_a_field.
- F-algebra wikiPageWikiLink Algebraic_data_type.
- F-algebra wikiPageWikiLink Catamorphism.
- F-algebra wikiPageWikiLink Category:Category_theory.
- F-algebra wikiPageWikiLink Category:Functional_programming.
- F-algebra wikiPageWikiLink Category_(mathematics).
- F-algebra wikiPageWikiLink Category_of_sets.
- F-algebra wikiPageWikiLink Category_theory.
- F-algebra wikiPageWikiLink Charity_(programming_language).
- F-algebra wikiPageWikiLink Coinduction.
- F-algebra wikiPageWikiLink Computability_theory.
- F-algebra wikiPageWikiLink Computability_theory_(computer_science).
- F-algebra wikiPageWikiLink Coproduct.
- F-algebra wikiPageWikiLink Data_structure.
- F-algebra wikiPageWikiLink Data_structures.
- F-algebra wikiPageWikiLink Differentiable_manifold.
- F-algebra wikiPageWikiLink Disjoint_union.
- F-algebra wikiPageWikiLink Domain_(ring_theory).
- F-algebra wikiPageWikiLink Dual_(category_theory).
- F-algebra wikiPageWikiLink Duality_(mathematics).
- F-algebra wikiPageWikiLink Endofunctor.
- F-algebra wikiPageWikiLink F-coalgebra.
- F-algebra wikiPageWikiLink Field_(mathematics).
- F-algebra wikiPageWikiLink Finite_set.
- F-algebra wikiPageWikiLink Functor.
- F-algebra wikiPageWikiLink Greatest_fixed_point.
- F-algebra wikiPageWikiLink Group_(mathematics).
- F-algebra wikiPageWikiLink Group_object.
- F-algebra wikiPageWikiLink Homomorphism.
- F-algebra wikiPageWikiLink Identity_element.
- F-algebra wikiPageWikiLink Initial_and_terminal_objects.
- F-algebra wikiPageWikiLink Initial_object.
- F-algebra wikiPageWikiLink Lattice_(order).
- F-algebra wikiPageWikiLink Least_fixed_point.
- F-algebra wikiPageWikiLink List_(abstract_data_type).
- F-algebra wikiPageWikiLink List_(computing).
- F-algebra wikiPageWikiLink Lookup_table.
- F-algebra wikiPageWikiLink Mathematical_optimization.
- F-algebra wikiPageWikiLink Mathematical_programming.
- F-algebra wikiPageWikiLink Mathematics.
- F-algebra wikiPageWikiLink Module_(mathematics).
- F-algebra wikiPageWikiLink Monoid.
- F-algebra wikiPageWikiLink Monoid_(category_theory).
- F-algebra wikiPageWikiLink Morphism.
- F-algebra wikiPageWikiLink Natural_number.
- F-algebra wikiPageWikiLink Normalization_property_(abstract_rewriting).
- F-algebra wikiPageWikiLink Normalization_property_(lambda-calculus).
- F-algebra wikiPageWikiLink Parametricity.
- F-algebra wikiPageWikiLink Partially_ordered_set.
- F-algebra wikiPageWikiLink Ring_(mathematics).
- F-algebra wikiPageWikiLink Scalar_multiplication.
- F-algebra wikiPageWikiLink Semigroup.
- F-algebra wikiPageWikiLink Smooth_manifold.
- F-algebra wikiPageWikiLink Smooth_map.
- F-algebra wikiPageWikiLink Smoothness.
- F-algebra wikiPageWikiLink Subobject_classifier.
- F-algebra wikiPageWikiLink Total_order.
- F-algebra wikiPageWikiLink Universal_algebra.
- F-algebra wikiPageWikiLink Vector_space.
- F-algebra wikiPageWikiLink File:F_algebra.svg.
- F-algebra wikiPageWikiLink File:Group_associative_categories.svg.
- F-algebra wikiPageWikiLink File:Group_identity_categories.svg.
- F-algebra wikiPageWikiLink File:Group_inverse_categories.svg.
- F-algebra wikiPageWikiLinkText "''F''-algebra".
- F-algebra wikiPageWikiLinkText "-algebra".
- F-algebra wikiPageWikiLinkText "F-algebra".
- F-algebra wikiPageWikiLinkText "algebra".
- F-algebra wikiPageWikiLinkText "category of ''F''-algebras".
- F-algebra wikiPageWikiLinkText "category of all algebras of the same signature".
- F-algebra hasPhotoCollection F-algebra.
- F-algebra wikiPageUsesTemplate Template:Cite_book.
- F-algebra wikiPageUsesTemplate Template:Main.
- F-algebra subject Category:Category_theory.
- F-algebra subject Category:Functional_programming.
- F-algebra type Function.
- F-algebra comment "In mathematics, specifically in category theory, F-algebras generalize algebraic structure.".
- F-algebra label "F-algebra".
- F-algebra sameAs F-Algebra.
- F-algebra sameAs F代数.
- F-algebra sameAs m.06rzpv.
- F-algebra sameAs F-алгебра.
- F-algebra sameAs F-алгебра.
- F-algebra sameAs Q1386213.
- F-algebra sameAs Q1386213.
- F-algebra wasDerivedFrom F-algebra?oldid=683715590.
- F-algebra depiction F_algebra.svg.