Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fundamental groupoid for homotopy theory #1350

Draft
wants to merge 26 commits into
base: master
Choose a base branch
from

Conversation

zstone1
Copy link
Contributor

@zstone1 zstone1 commented Oct 12, 2024

A grab-bag of results I'll need to split into separate reviews (once topology.v's split is done). This PR is mostly for bookkeeping, and stating my (new) roadmap for homotopies. My plan for breaking things into reviewable chunks is

Checklist
  • added corresponding entries in CHANGELOG_UNRELEASED.md
  • added corresponding documentation in the headers

Reference: How to document

Reminder to reviewers

@zstone1 zstone1 mentioned this pull request Oct 12, 2024
2 tasks
@zstone1 zstone1 changed the title Sums, wedges, and paths fundamental groupoid for homotopy theory Oct 27, 2024
@zstone1 zstone1 mentioned this pull request Oct 28, 2024
2 tasks
@zstone1 zstone1 mentioned this pull request Nov 6, 2024
2 tasks
This was referenced Nov 15, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant