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.
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.
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).