https://github.com/zhaoshenzhai/cattheory-f23
Solutions to exercises for a mini-course in Category Theory by Tasmin Chu.
https://github.com/zhaoshenzhai/cattheory-f23
category-theory math
Last synced: 2 months ago
JSON representation
Solutions to exercises for a mini-course in Category Theory by Tasmin Chu.
- Host: GitHub
- URL: https://github.com/zhaoshenzhai/cattheory-f23
- Owner: zhaoshenzhai
- Archived: true
- Created: 2023-10-07T16:37:06.000Z (over 1 year ago)
- Default Branch: master
- Last Pushed: 2023-10-18T18:31:42.000Z (over 1 year ago)
- Last Synced: 2025-02-21T15:18:01.816Z (4 months ago)
- Topics: category-theory, math
- Language: TeX
- Homepage: https://publish.obsidian.md/tasmin-chu/cat-theory
- Size: 398 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Category Theory - Fall 2023
Solutions to selected problems curated by [Tasmin Chu](https://publish.obsidian.md/tasmin-chu/cat-theory) for a mini-course in Category Theory, mostly following Emily Riehl’s _Category Theory in Context_.
## Contributing
Found a mistake in the solutions? Open an issue [here](https://github.com/zhaoshenzhai/CatTheory-F23/issues/new?assignees=zhaoshenzhai&labels=bug&projects=&template=fix-a-mistake.md&title=%5Bmistake%5D+).
To contribute your own solutions, [fork](https://docs.github.com/en/get-started/quickstart/fork-a-repo) this repo, copy the `Template` folder to `Problem_Set_*/Question_*`, and change the placeholders appropriately.
* Please push both the `.tex` and the `.pdf` files (as well as any `.sty` files, if applicable). You can also use your own format, but please include the problem statement along with your solution.
When you're done, create a [pull request](https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/proposing-changes-to-your-work-with-pull-requests/creating-a-pull-request) to this repository and your solutions will be merged upstream once reviewed. You can always edit your solutions later by creating a new pull request/issue.