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: 15 days 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 (almost 6 years ago)
• Last Synced: 2024-11-06T13:57:35.140Z (2 months ago)
• Topics: category-theory, mathematics
• Language: TeX
• Size: 37.1 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
This repository contains material for the final lecture of a seminar on category

theory held at KIT in summer 2018.

The main source is:

Borceux, Francis. Handbook of Categorical Algebra 2: Categories and Structures (Encyclopedia of Mathematics and Its Applications). Cambridge University Press, 1994.