AlgebraicJulia
diff --git a/‎double-categories/exercises.pdf
163 KB b/‎double-categories/exercises.pdf
163 KB
diff --git a/‎double-categories/index.qmd
+6 b/‎double-categories/index.qmd
+6
diff --git a/‎double-categories/tutorial.pdf
14.4 MB b/‎double-categories/tutorial.pdf
14.4 MB
diff --git a/‎double-categories/tutorial_part_1.pdf
9.85 MB b/‎double-categories/tutorial_part_1.pdf
9.85 MB
diff --git a/‎double-categories/tutorial_part_2.pdf
11.9 MB b/‎double-categories/tutorial_part_2.pdf
11.9 MB
diff --git a/‎index.qmd
+1-1 b/‎index.qmd
+1-1
@@ -0,0 +1,6 @@
+---
+title: Double categories tutorial
+---
+
+- Presentation ([part 1](tutorial_part_1.pdf), [part 2](tutorial_part_2.pdf))
+- [Exercises](exercises.pdf)
@@ -6,7 +6,7 @@ This is the website for the [ACT2023](https://act2023.github.io/) tutorial sessi
   - [David Jaz Myers, Lenses](/lenses/)
   - [Paolo Perrone, Markov categories](/markov/)
 - Tuesday afternoon (simultaneously)
-  - Dorette Pronk, Double categories
+  - [Dorette Pronk, Double categories](/double-categories/)
   - [Evan Patterson and Owen Lynch, AlgebraicJulia](/algebraicjulia/)
 
 The format of each tutorial will be the following. They will last for approximately three hours, which is divided up as the presenter sees fit, but approximately in the following way. There will be only about an hour of lecturing. The bulk of the time, an hour and a half, will be spent on exercises. The exercises will have a large range of difficulty, from simple checking of definitions to open problems, so all are encouraged to come. And finally at least a half an hour will be break time.