Assertion: algebra | /r/HasProperty | set x \displaystyle x
Facets:
value: with a function
type: OTHER
Source sentences:
text: An algebra for this endofunctor is a set X {\displaystyle X} (called the carrier of the algebra) together with a function f : ( 1 + X ) → X {
text: An algebra for this endofunctor is a set X {\displaystyle X} together with a function ( 1 + N × X ) → X {\displaystyle (1+\mathbf {N} \times