type-theory

michael/type-theory

Fork 0

Thesis Project

#11 opened 2024-04-22 04:33:30 +00:00 by michael

1 / 3

New issue

Find out some backup project ideas

#45 opened 2024-10-29 05:14:31 +00:00 by michael research 0 / 3

FvD Thesis Theorem 5.4.12

#43 opened 2024-10-21 05:06:03 +00:00 by michael research

Lemma 7.3.1

#42 opened 2024-10-20 19:04:40 +00:00 by michael research

LES Step 1

#40 opened 2024-10-16 08:22:13 +00:00 by michael research

Prove Lemma 4.1.5 from FvD's thesis

#36 opened 2024-10-15 05:39:41 +00:00 by michael research

Formalize section 4.1, proving π₃(S²) ≃ ℤ

#35 opened 2024-10-15 05:06:29 +00:00 by michael research 0 / 7

8.3 π_{k≤n} of an n-connected space and π_{k<n}(S^n)

#29 opened 2024-10-11 21:06:27 +00:00 by michael research

Define the Hopf fibration

#28 opened 2024-10-11 21:05:14 +00:00 by michael research

Theorem 7.1.11

#26 opened 2024-10-10 06:29:26 +00:00 by michael research

Define LES

#25 opened 2024-10-10 06:17:19 +00:00 by michael research 0 / 5

Understand exact couples

#24 opened 2024-10-07 18:15:29 +00:00 by michael research

Understand and define exact sequences

#23 opened 2024-10-07 18:11:39 +00:00 by michael research

Chapter 8: Homotopy theory

hott-book-chapter

#22 opened 2024-07-11 13:06:18 +00:00 by michael 1 / 83

2024-11-01

Chapter 7: Homotopy n-types

hott-book-chapter

#21 opened 2024-07-11 13:02:43 +00:00 by michael 9 / 86

2024-10-01

Chapter 4: Equivalences

hott-book-chapter

#19 opened 2024-07-10 21:58:41 +00:00 by michael 5 / 53

2024-08-01

MayConcise Chapter 1 Problems

#18 opened 2024-06-03 04:24:14 +00:00 by michael 0 / 3

Chapter 6: Higher inductive types

hott-book-chapter

#15 opened 2024-05-20 21:51:14 +00:00 by michael research 12 / 62

2024-09-01

Study Theorem 3.2.2

#14 opened 2024-05-20 20:22:40 +00:00 by michael research

Thesis Project

#11 opened 2024-04-22 04:33:30 +00:00 by michael research 1 / 3

Exercise 4.6: qinv-univalence

exercise

#10 opened 2023-05-18 08:27:33 +00:00 by michael research

1 2

Labels Milestones