Assertion: trace | /r/HasProperty | the counit map
Facets:
Source sentences:
text: Formally, one can compose the trace (the counit map) with the unit map