Merge requests · HoTT / hott-set-theory

V⁰ has binary products

!10 · created Feb 05, 2023 by Anders Mörtberg
- Merged
- 3
updated Feb 07, 2023
Slice v functors

!9 · created Jan 18, 2023 by Daniel Gratzer
- Merged
updated Feb 07, 2023
Coproduct

!8 · created Jan 10, 2023 by Daniel Gratzer
- Merged
- 1
- Approved
updated Jan 16, 2023
Initial and terminal objects in V⁰

!7 · created Oct 11, 2022 by Anders Mörtberg
- Merged
- Approved
updated Oct 12, 2022
Test

!6 · created Sep 15, 2022 by Anders Mörtberg
- Closed
- Approved
updated Oct 10, 2022
Construct V⁰, an initial P-algebra

!5 · created Aug 30, 2022 by Håkon Gylterud
- Merged
updated Aug 30, 2022
Prove that desup restricted to V is an equivalence

!4 · created Mar 15, 2022 by Elisabeth.Stenholm
- Merged
- Approved
updated Mar 15, 2022
Add rewriting to all files and some refactoring

!3 · created Sep 15, 2021 by Elisabeth.Stenholm
updated Sep 27, 2021
Anti foundation

!2 · created Jul 01, 2021 by Elisabeth.Stenholm
updated Jul 01, 2021
Axioms

!1 · created Jun 21, 2021 by Elisabeth.Stenholm
- Merged
- 1
- Approved
updated Jun 21, 2021