Brendan Fong: "Welcome to Topos"

Brendan Fong: "Welcome to Topos"See more

Brendan Fong: 'Welcome to Topos'

Brendan Fong: Partition Logic (Ellerman)See more

Brendan Fong: Partition Logic (Ellerman)

Brendan Fong: Supplying Bells and Whistles in Symmetric Monoidal Categories, Part 1See more

Brendan Fong: Supplying Bells and Whistles in Symmetric Monoidal Categories, Part 1

Brendan Fong: "Topos Closing + Thank You"See more

Brendan Fong: 'Topos Closing + Thank You'

Brendan Fong: A categorical introduction to profunctor optics, Part 2.See more

Brendan Fong: A categorical introduction to profunctor optics, Part 2.

Cats and Chats: Brendan Fong and Sophie LibkindSee more

Cats and Chats: Brendan Fong and Sophie Libkind

Toposes - "Nice Places to Do Math"See more

Toposes - 'Nice Places to Do Math'

Brendan Fong: A categorical introduction to profunctor optics, Part 1.See more

Brendan Fong: A categorical introduction to profunctor optics, Part 1.

Riccardo Zanfa - Extending the topological presheaf-bundle adjunction to sites and toposesSee more

Riccardo Zanfa - Extending the topological presheaf-bundle adjunction to sites and toposes

Categorical views of regular, coherent, and geometric logic: from classical to wiring-theoreticSee more

Categorical views of regular, coherent, and geometric logic: from classical to wiring-theoretic

Brendan Fong: A categorical introduction to profunctor optics, Part 3See more

Brendan Fong: A categorical introduction to profunctor optics, Part 3

Programming with Categories - Lecture 0See more

Programming with Categories - Lecture 0

Ming Ng - Adelic Geometry via Topos TheorySee more

Ming Ng - Adelic Geometry via Topos Theory

Categorical views of regular, coherent, and geometric logic: from classical to wiring-theoreticSee more

Categorical views of regular, coherent, and geometric logic: from classical to wiring-theoretic

Categorical views of regular, coherent, and geometric logic: from classical to wiring-theoreticSee more

Categorical views of regular, coherent, and geometric logic: from classical to wiring-theoretic

[3S2] Tutorial: Tambara Modules (Brendan Fong)See more

[3S2] Tutorial: Tambara Modules (Brendan Fong)

News