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.

Sign up for GitHub

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

Jump to bottom

Distinguished triangles in the homotopy category #74

Closed
jcommelin opened this issue Nov 29, 2021 · 1 comment
Closed

Distinguished triangles in the homotopy category #74

jcommelin opened this issue Nov 29, 2021 · 1 comment
Assignees
@jcommelin @erdOne
Projects
Final challenge

Comments

@jcommelin
Copy link
Member

Formalize https://stacks.math.columbia.edu/tag/014D and https://stacks.math.columbia.edu/tag/014P.

Redefine derived functors, so that they can be applied to objects in the homotopy category, instead of merely single objects in degree 0.
@jcommelin jcommelin created this issue from a note in Final challenge (To do) Nov 29, 2021
@jcommelin jcommelin mentioned this issue Nov 29, 2021
Open
@jcommelin jcommelin moved this from To do to In progress in Final challenge Dec 24, 2021
@jcommelin
Copy link
Member Author

@erdOne is aiming towards this.

Final challenge automation moved this from In progress to Done Mar 22, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jcommelin jcommelin

@erdOne erdOne

Labels
None yet
Projects
Final challenge
Done
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jcommelin @erdOne