Fibrations, logical predicates and indeterminates
Within the framework of categorical logic or categorical type theory, predicate logics and type theories are understood as fibrations with structure. Fibrations, or fibred categories, provide an abstract account of the notions of indexing and substitution. These notions are central to the interpreta...
Main Author: | |
---|---|
Published: |
University of Edinburgh
1993
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.652380 |