Media Summary: 27th of May, 2021. Part of the Topos Institute Colloquium. ----- Abstract: The general higher-categorical The Two-Dimensional Argument Against Dualism Vladimir Voevodsky Memorial Conference Topic: Towards elementary infinity-toposes Speaker:

Michael Shulman Two Dimensional Semantics - Detailed Analysis & Overview

27th of May, 2021. Part of the Topos Institute Colloquium. ----- Abstract: The general higher-categorical The Two-Dimensional Argument Against Dualism Vladimir Voevodsky Memorial Conference Topic: Towards elementary infinity-toposes Speaker: Symmetric monoidal categories with duals, a.k.a. compact monoidal categories, have a pleasing string diagram calculus.

Photo Gallery

Michael Shulman: "Two-dimensional semantics of homotopy type theory"
Semantics of Higher Inductive Types - Michael Shulman
Michael Shulman - Semantics of higher modalities
The Two-Dimensional Argument Against Dualism
Toward Higher Inductive Types - Michael Shulman
Inernal Languages for Higher Toposes - Michael Shulman
Towards elementary infinity-toposes - Michael Shulman
Mike Shulman: Towards Third-Generation HOTT, Part 2
Michael Shulman - Geometric HoTT and comonadic modalities
Gluing in Homotopy Type Theory - Michael Shulman
Working Group on Univalent Foundations - Michael Shulman
Mike Shulman: Towards Third-Generation HOTT, Part 3
View Detailed Profile
Michael Shulman: "Two-dimensional semantics of homotopy type theory"

Michael Shulman: "Two-dimensional semantics of homotopy type theory"

27th of May, 2021. Part of the Topos Institute Colloquium. ----- Abstract: The general higher-categorical

Semantics of Higher Inductive Types - Michael Shulman

Semantics of Higher Inductive Types - Michael Shulman

Semantics

Michael Shulman - Semantics of higher modalities

Michael Shulman - Semantics of higher modalities

Michael Shulman's

The Two-Dimensional Argument Against Dualism

The Two-Dimensional Argument Against Dualism

The Two-Dimensional Argument Against Dualism

Toward Higher Inductive Types - Michael Shulman

Toward Higher Inductive Types - Michael Shulman

Michael Shulman

Inernal Languages for Higher Toposes - Michael Shulman

Inernal Languages for Higher Toposes - Michael Shulman

Michael Shulman

Towards elementary infinity-toposes - Michael Shulman

Towards elementary infinity-toposes - Michael Shulman

Vladimir Voevodsky Memorial Conference Topic: Towards elementary infinity-toposes Speaker:

Mike Shulman: Towards Third-Generation HOTT, Part 2

Mike Shulman: Towards Third-Generation HOTT, Part 2

CMU HoTT seminar, May 5, 2022

Michael Shulman - Geometric HoTT and comonadic modalities

Michael Shulman - Geometric HoTT and comonadic modalities

Michael Shulman's

Gluing in Homotopy Type Theory - Michael Shulman

Gluing in Homotopy Type Theory - Michael Shulman

Michael Shulman

Working Group on Univalent Foundations - Michael Shulman

Working Group on Univalent Foundations - Michael Shulman

Michael Shulman

Mike Shulman: Towards Third-Generation HOTT, Part 3

Mike Shulman: Towards Third-Generation HOTT, Part 3

CMU HoTT seminar, May 12, 2022

ACT@UCR Seminar: Star-Autonomous Envelopes - Michael Shulman

ACT@UCR Seminar: Star-Autonomous Envelopes - Michael Shulman

Symmetric monoidal categories with duals, a.k.a. compact monoidal categories, have a pleasing string diagram calculus.