F-algebra
Sign in to savethumb|The commutative diagram, which defines a property required by morphisms of the original Category (mathematics)|category, so that they can be morphisms of the newly defined category of F-algebras.
Wikidata facts
- Instance of
- formula
Show 2 more facts
- studied by
- category theory
- maintained by WikiProject
- WikiProject Mathematics
Sources (1)
via Wikidata · CC0
~8 min read
Encyclopedic overview
12 sectionsContents
- Definition
- Examples
- Groups
- Algebraic structures
- Lattice
- Recurrence
- Initial ''F''-algebra
- Terminal ''F''-coalgebra
- See also
- Notes
- References
- External links
thumb|The commutative diagram, which defines a property required by morphisms of the original Category (mathematics)|category, so that they can be morphisms of the newly defined category of F-algebras.
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.
Excerpted from Wikipedia’s “F-algebra” article, available under the CC BY-SA 4.0 licence.