UniAgda.Core.SetsAndLogic.Sets

Table of Contents

1 Prelude

2 Products of sets are sets

3 Coproducts of sets are sets

4 Function types between sets are sets

5 Sets are 1-Types

6 Results

7 Unit is a set

8 Empty is a set

The empty type is a set

Empty-is-set : isSet Empty
Empty-is-set () y

9 The natural numbers are a set

10 Finite sets are sets

Author: James Leslie

Created: 2021-03-27 Sat 10:47