The Seifert–van Kampen Theorem in Homotopy Type Theory (2016) [pdf]
Posted2 months ago
home.sandiego.eduResearchstory
calmneutral
Debate
0/100
Homotopy Type TheoryMathematicsTheoretical Computer Science
Key topics
Homotopy Type Theory
Mathematics
Theoretical Computer Science
A 2016 paper on the Seifert–Van Kampen Theorem in Homotopy Type Theory is shared, likely appealing to those interested in mathematical foundations and type theory, with no discussion or comments to indicate otherwise.
Snapshot generated from the HN discussion
Discussion Activity
No activity data yet
We're still syncing comments from Hacker News.
Generating AI Summary...
Analyzing up to 500 comments to identify key contributors and discussion patterns
ID: 45796702Type: storyLast synced: 11/17/2025, 7:49:56 AM
Want the full context?
Jump to the original sources
Read the primary article or dive into the live Hacker News thread when you're ready.
Discussion hasn't started yet.