Polynomial functors and W-types for groupoids
This thesis contributes to the semantics of Martin-Lof type theory and the theory of polynomial functors. We do so by investigating polynomial functors on the category of groupoids and their initial algebras, known as W-types. We consider several versions of polynomial functors: both simple and depe...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Leeds
2018
|
| Subjects: | |
| Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.766407 |