Assertion: initial algebra | /r/HasProperty | initial object
Facets:
value: in mathematics
type: OTHER
Source sentences:
text: In mathematics, an initial algebra is an initial object in the category of F {\displaystyle F} -algebras for a given endofunctor F {\displaystyle F} .