https://github.com/bgavran/category_theory_resources
List of resources for learning Category Theory
Science Score: 23.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
✓codemeta.json file
Found codemeta.json file -
○.zenodo.json file
-
○DOI references
-
✓Academic publication links
Links to: arxiv.org -
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (5.6%) to scientific vocabulary
Last synced: 10 months ago
·
JSON representation
Repository
List of resources for learning Category Theory
Basic Info
- Host: GitHub
- Owner: bgavran
- Default Branch: main
- Size: 15.6 KB
Statistics
- Stars: 268
- Watchers: 12
- Forks: 20
- Open Issues: 0
- Releases: 0
Created over 4 years ago
· Last pushed over 1 year ago
Metadata Files
Readme
README.md
Category Theory Resources
A curated list of resources for studying category theory. As resources aimed at mathematicians are abundant, this list is aimed at materials whose target audience is not people with a graduate-level mathematics background.
Let me know what's missing- preferably by creating a pull request!
Blog posts
Books
- Seven Sketches in Compositionality: An Invitation to Applied Category Theory by Fong, Spivak
- Conceptual Mathematics: A First Introduction to Categories by Schanuel, Lawvere
- Category theory for Programmers by Milewski
- Polynomial Functors: A General Theory of Interaction by Spivak, Niu
- Draft of "Categorical Systems Theory" by Jaz Myers
- Category theory for the Sciences by Spivak
- What is Applied Category Theory? by Bradley
- The Joy of Abstraction by Eugenia Cheng
- Categories and Compositionality with a view to Applications (WIP) by Censi, Lorand, and Zardini
Lectures
- John Baez's course on Applied Category Theory
- Applied Category Theory at Topos Institute
- The Catsters
- Bartosz Milewski's video lectures
- Programming with Categories
- Categorical mathematics and software engineering for compositional modeling and simulation
- Category Theoretic Agent-Based Modeling
Videos
- Category Theory, The essence of interface-based design - Erik Meijer
- David Spivak - Plausible Fiction: Accounting for Actualizing Potential
- [Berkeley Seminar] Evan Patterson: Collaborative modeling with domain-specific categorical logics
Other lists of CT resources
Owner
- Name: Bruno Gavranović
- Login: bgavran
- Kind: user
- Location: London, United Kingdom
- Company: Symbolica
- Website: www.brunogavranovic.com
- Repositories: 26
- Profile: https://github.com/bgavran
Principal Scientist - Categorical Deep Learning @symbolica-ai
GitHub Events
Total
- Watch event: 41
- Issue comment event: 1
- Push event: 2
- Pull request event: 2
- Fork event: 5
Last Year
- Watch event: 41
- Issue comment event: 1
- Push event: 2
- Pull request event: 2
- Fork event: 5
Issues and Pull Requests
Last synced: over 1 year ago
All Time
- Total issues: 0
- Total pull requests: 5
- Average time to close issues: N/A
- Average time to close pull requests: 2 months
- Total issue authors: 0
- Total pull request authors: 5
- Average comments per issue: 0
- Average comments per pull request: 0.6
- Merged pull requests: 4
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 0
- Pull requests: 1
- Average time to close issues: N/A
- Average time to close pull requests: 1 day
- Issue authors: 0
- Pull request authors: 1
- Average comments per issue: 0
- Average comments per pull request: 1.0
- Merged pull requests: 1
- Bot issues: 0
- Bot pull requests: 0
Top Authors
Issue Authors
Pull Request Authors
- TheCedarPrince (2)
- pitmonticone (1)
- BusHero (1)
- yenwel (1)
- TravisCardwell (1)