TwoFX / EmbeddingTheorem

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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.

About

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


Languages

Language:TeX 99.7%Language:Makefile 0.3%