From 417c87da91220d03ef727aee6c3f940e68f83672 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Anders=20M=C3=B6rtberg?= Date: Wed, 14 Jun 2017 14:49:39 +0200 Subject: [PATCH] update README --- lectures/README.md | 24 ++++++++++++++++-------- 1 file changed, 16 insertions(+), 8 deletions(-) diff --git a/lectures/README.md b/lectures/README.md index 871d1af..f4a210b 100644 --- a/lectures/README.md +++ b/lectures/README.md @@ -10,16 +10,24 @@ assumed. The contents of the lectures are: -1. Basic features of the base type theory and little bit of Path types - (Path abstraction and application). +* **lecture1.ctt** +..Basic features of the base type theory +..A little bit of Path types (Path abstraction and application) -2. More on Path types (symmetry and connections) and compositions. +* **lecture2.ctt** +..More on Path types (symmetry and connections) +..Compositions -3. Higher dimensional compositions, transport and J for Path types, - fill and H-levels (contractible types, propositions, sets, - groupoids...). +* **lecture3.ctt** +..Higher dimensional compositions +..Transport and J for Path types +..Fill +..H-levels (contractible types, propositions, sets, groupoids...) -4. Equivalences, Glue types and proofs of the univalence axiom. +* **lecture4.ctt** +..Equivalences +..Glue types +..Proofs of the univalence axiom -The lectures hence gives a hands-on introduction covering sections 2-7 +The lectures hence give a hands-on introduction covering sections 2-7 of the [paper](https://arxiv.org/abs/1611.02108). \ No newline at end of file -- 2.34.1