Notes

The series of notes on Category Theory, Topos Theory and Sheaf Theory.

9 AUG 2018 — Formal Set Topos
13 JAN 2019 — Presheaf Type Theories