Assertion: categorical logic | /r/HasProperty | fascinating subject
Facets:
Source sentences:
text: Categorical logic, and its long history, is a fascinating subject!