P: Presheaf Topos

Presheaves: contravariant Set-valued functors.

Directory Tree

presheaf-topos/
├── SKILL.md
├── sieves/
├── yoneda-lemma.tex

GF(3) Assignment

Letter P → trit = -1

Integration