Assertion: algebra's property | /r/HasProperty | captured
Facets:
value: by defining it
type: MANNER
value: adequately
type: DEGREE
Source sentences:
text: While there may be several initial algebras for a given endofunctor, they are unique up to isomorphism, which informally means that the "observable" properties of a data structure can be adequately captured by defining it as an initial algebra.