UniAgda.Core.SetsAndLogic.Contractible

Table of Contents

1 Prelude

2 Unit is contractible

3 Equivalent definitions

4 Being contractible is a proposition

5 Contractibility is preserved by equivalence

6 Sigma types and contractibility

7 Contractible fibres

8 Path spaces

Author: James Leslie

Created: 2021-03-27 Sat 10:47