Assertion: logic | /r/HasProperty | fibred over another basecategory
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.