Andrew Swan, Why cubical sets are different to simplicial sets

Andrew Swan, Why cubical sets are different to simplicial sets

What are...simplicial complexes?See more

What are...simplicial complexes?

Andrew Swan, Double negation stable h-propositions in cubical setsSee more

Andrew Swan, Double negation stable h-propositions in cubical sets

Andrew Swan, Choice, collection and covering in cubical setsSee more

Andrew Swan, Choice, collection and covering in cubical sets

An intro to simplicial setsSee more

An intro to simplicial sets

BIG CHANGES for the DBQ and LEQ!See more

BIG CHANGES for the DBQ and LEQ!

Introduction to Cubical SetsSee more

Introduction to Cubical Sets

Andrew Pitts, Axiomatizing cubical sets models of univalent foundationsSee more

Andrew Pitts, Axiomatizing cubical sets models of univalent foundations

Discrete Homotopy Theory and Cubical SetsSee more

Discrete Homotopy Theory and Cubical Sets

Evan Cavallo, Why some cubical models don't present spacesSee more

Evan Cavallo, Why some cubical models don't present spaces

Yuki Maehara, A cubical model for weak ω-categoriesSee more

Yuki Maehara, A cubical model for weak ω-categories

The Theory That Could Rewrite the Laws of PhysicsSee more

The Theory That Could Rewrite the Laws of Physics

Benno van den Berg, Uniform Kan fibrations in simplicial setsSee more

Benno van den Berg, Uniform Kan fibrations in simplicial sets

Not all scientific studies are created equal - David H. SchwartzSee more

Not all scientific studies are created equal - David H. Schwartz

Simon Huber, Homotopy canonicity for cubical type theorySee more

Simon Huber, Homotopy canonicity for cubical type theory

The Forgotten Math SubjectSee more

The Forgotten Math Subject

Anders Mörtberg, Unifying cubical models of homotopy type theorySee more

Anders Mörtberg, Unifying cubical models of homotopy type theory

Chris Kapulkin: "Cubical setting for Discrete Homotopy Theory"See more

Chris Kapulkin: 'Cubical setting for Discrete Homotopy Theory'

Events