Skip to content

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

Notifications You must be signed in to change notification settings

TwoFX/EmbeddingTheorem

Folders and files

NameName
Last commit message
Last commit date

Latest commit

Feb 18, 2019
0ac8687 · Feb 18, 2019

History

29 Commits
Jul 2, 2018
Jul 11, 2018
Jul 2, 2018
Feb 18, 2019
Jul 16, 2018

Repository files navigation

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

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published