https://github.com/mxsdev/awodey-solutions

Awodey's Category Theory solutions
https://github.com/mxsdev/awodey-solutions

Last synced: 2 months ago
JSON representation

Awodey's Category Theory solutions

• Host: GitHub
• URL: https://github.com/mxsdev/awodey-solutions
• Owner: mxsdev
• Created: 2024-11-20T23:53:24.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2024-11-24T02:58:06.000Z (over 1 year ago)
• Last Synced: 2024-11-24T03:25:59.263Z (over 1 year ago)
• Language: Typst
• Size: 66.4 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# awodey-solutions

This repository contains solutions to exercises in Steve Awodey's book "Category Theory" (Oxford Logic Guides, 49).

It is being completed as part of a reading group in San Francisco.

## Adding solutions

- Add a folder, `solutions/[Name]`

- Follow the structure of `solutions/max` as an example

- Add your name and main export to `solutions/main.typ`