Labels Milestones

New issue

research

14

Uncategorized

Find out some backup project ideas

#45 opened 2024-10-29 05:14:31 +00:00 by michael

0 / 3

Understand exact couples

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

Define the Hopf fibration

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

Define LES

#25 opened 2024-10-10 06:17:19 +00:00 by michael

0 / 5

Prove Lemma 4.1.5 from FvD's thesis

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

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

LES Step 1

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

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

#35 opened 2024-10-15 05:06:29 +00:00 by michael

0 / 7

FvD Thesis Theorem 5.4.12

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

Chapter 6: Higher inductive types

#15 opened 2024-05-20 21:51:14 +00:00 by michael

12 / 62

hott-book-chapter

Study Theorem 3.2.2

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

Thesis Project

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

1 / 3

Exercise 4.6: qinv-univalence

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

exercise

Chapter 3: Sets and logic

#9 opened 2023-05-18 05:40:39 +00:00 by michael

30 / 63

hott-book-chapter

3

in progress

Understand and define exact sequences

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

Theorem 7.1.11

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

Lemma 7.3.1

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

3

done (this week)

Five lemma (n is surjective)

#47 by michael was closed 2024-11-05 07:16:15 +00:00

Five lemma (n is injective)

#48 by michael was closed 2024-11-05 09:25:33 +00:00

Prove the five lemma for groups

#46 by michael was closed 2024-11-05 09:26:34 +00:00

2 / 2

15

done

Define SuccStr over N x fib(k)

#37 by michael was closed 2024-10-29 01:20:59 +00:00

Exercise 3.5

#44 by michael was closed 2024-10-28 23:56:59 +00:00

Fundamental group of a circle ≡ integers talk

#4 by michael was closed 2024-10-20 19:05:35 +00:00

Theorem 7.1.10

#34 by michael was closed 2024-10-20 08:06:09 +00:00

Lemma 3.11.4

#41 by michael was closed 2024-10-20 07:54:10 +00:00

Theorem 7.1.9

#30 by michael was closed 2024-10-15 02:10:12 +00:00

Theorem 7.1.8

#31 by michael was closed 2024-10-15 04:53:55 +00:00

Theorem 7.1.7

#32 by michael was closed 2024-10-15 01:43:30 +00:00

Theorem 7.1.6

#27 by michael was closed 2024-10-15 01:34:36 +00:00

Theorem 2.7.2

#33 by michael was closed 2024-10-15 04:33:58 +00:00

What is the behavior of I in the cubical definition of apd

#16 by michael was closed 2024-10-07 18:09:43 +00:00

Decide on a research project

#12 by michael was closed 2024-05-23 15:19:29 +00:00

3 / 3

Theorem 2.13.1

#13 by michael was closed 2024-06-01 00:34:56 +00:00

Chapter 2: Homotopy type theory

#7 by michael was closed 2024-07-25 02:16:02 +00:00

63 / 82

hott-book-chapter

Exercise 2.4: n-dimensional path

#6 by michael was closed 2024-07-25 02:15:31 +00:00

exercise