Assertion: f algebra | /r/HasProperty | tuple
Facets:
Source sentences:
text: C → C is an endofunctor of C, then an F-algebra is a tuple (A, α), where A is an object of C and α is a C-morphism F(A)