Assertion: logic | /r/CapableOf | capture the type theory
Facets:
Source sentences:
text: This emphasis in turn leads to categorical logic because a logic over a type theory categorically corresponds to one ("total") category, capturing the logic, being fibred over another ("base") category, capturing the type theory.