https://github.com/twofx/embeddingtheorem

A lecture on a proof of the Freyd-Mitchell Embedding Theorem
https://github.com/twofx/embeddingtheorem

category-theory mathematics

Last synced: about 5 hours ago
JSON representation

A lecture on a proof of the Freyd-Mitchell Embedding Theorem

• Host: GitHub
• URL: https://github.com/twofx/embeddingtheorem
• Owner: TwoFX
• Created: 2018-07-02T15:48:44.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2019-02-18T10:46:38.000Z (over 5 years ago)
• Last Synced: 2023-05-21T23:21:03.602Z (over 1 year ago)
• Topics: category-theory, mathematics
• Language: TeX
• Size: 37.1 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project