michael/type-theory
2
0
Fork 0
Code Issues 11 Pull requests Projects 1 Releases Packages Wiki Activity Actions

Labels Milestones

Exact
Fuzzy
Exact
New issue
11 Open 11 Closed
Label
Clear labels
asking-favonia
exercise
questions
size
L
T-equivalence
Milestone
No milestone
Projects
Clear projects
Open projects
thesis
Assignee
Clear assignees
No assignee
michael
Chapter 8: Homotopy theory
#22 opened 2024-07-11 13:06:18 +00:00 by michael 1 / 83 2024-11-01
Chapter 7: Homotopy n-types
#21 opened 2024-07-11 13:02:43 +00:00 by michael 5 / 86 2024-10-01
Chapter 4: Equivalences
#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
What is the behavior of I in the cubical definition of apd
#16 opened 2024-05-23 16:38:00 +00:00 by michael thesis
Chapter 6: Higher inductive types
#15 opened 2024-05-20 21:51:14 +00:00 by michael thesis 12 / 62 2024-09-01
Study Theorem 3.2.2
2
#14 opened 2024-05-20 20:22:40 +00:00 by michael thesis
Thesis Project
#11 opened 2024-04-22 04:33:30 +00:00 by michael thesis 1 / 1
Exercise 4.6: qinv-univalence
exercise
#10 opened 2023-05-18 08:27:33 +00:00 by michael thesis
Chapter 3: Sets and logic
#9 opened 2023-05-18 05:40:39 +00:00 by michael thesis 30 / 63 2024-08-01
Write a blog post for the fundamental group of a circle ≡ integers
#4 opened 2023-05-15 19:34:26 +00:00 by michael thesis