/EmbeddingTheorem

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

Primary LanguageTeX

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.