Andrew Pitts, Axiomatizing cubical sets models of univalent foundations

[CL-THEORY] Andrew Pitts, "Unfinity Categories"See more

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

Matthew Weaver, A constructive model of directed univalence in bicubical setsSee more

Andrew Swan, Why cubical sets are different to simplicial setsSee more

Andrew Pitts, "Constructive Initial Algebra Semantics"See more

Anders Mortberg: "Cubical Methods in Homotopy Type Theory and Univalent Foundations"See more

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

Univalent Universes in Cubical Type TheorySee more

Unifying Cubical and Multimodal Type Theory - Frederik Lerbjerg AagaardSee more

Andrei Rodin: "Univalent Foundations and Applied Mathematics"See more

Algebraic Topology 1: Homotopy EquivalenceSee more

Three for One: Intro [Intro to HoTT, No. 1, Part 0]See more

Indexed SetsSee more