Synthetic ∞-category theory¶ Literate Rzk lecture notes on higher category theory in homotopy type theory. Lectures¶ Lecture 1: Introduction to homotopy type theory Lecture 2: Simplicial homotopy type theory and Segal types