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.
~8 min read
Article
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.
Connections
initial and terminal objects
Entity
category
Entity
functor
Entity
coproduct
Entity
mathematics
Entity
International Standard Book Number
Entity
natural number
Entity
Wayback Machine
Entity
group
Entity
vector space
Entity
data structure
Entity
OCLC, Inc.
Entity
ring
Entity
field
Entity
abelian group
Entity
distributive property
Entity
mathematical optimization
Entity
category theory
Entity
algebraic structure
Entity
finite set
Entity