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

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

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 FongSee more

Brendan Fong

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

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

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

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

Brendan Fong: "Welcome to Topos"See more

Brendan Fong: 'Welcome to Topos'

SMI Tutorial on v2e (Yuhuang Hu)See more

SMI Tutorial on v2e (Yuhuang Hu)

DepenceĀ² | Trusses | TutorialSee more

DepenceĀ² | Trusses | Tutorial

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

Brendan Fong: 'Topos Closing + Thank You'

Brendan Fong: Partition Logic (Ellerman)See more

Brendan Fong: Partition Logic (Ellerman)

[3S2] Structural Operational Semantics for String Diagrams (Fabio Zanasi)See more

[3S2] Structural Operational Semantics for String Diagrams (Fabio Zanasi)

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

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

News