From e6fdc00d085063c03c0a965061fe97a22dfa9b47 Mon Sep 17 00:00:00 2001
From: Ulrik Buchholtz <ulrikbuchholtz@gmail.com>
Date: Thu, 28 Sep 2023 21:36:21 +0100
Subject: [PATCH] add category theory refs

---
 papers.bib | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/papers.bib b/papers.bib
index 6f8ef5d..ecd3bb6 100644
--- a/papers.bib
+++ b/papers.bib
@@ -1513,6 +1513,28 @@ @Misc{            Riehl2023
   PrimaryClass    = {math.CT}
 }
 
+
+@Article{         RiehlShulman2017,
+  Author          = {Riehl, Emily and Shulman, Michael},
+  Title           = {A type theory for synthetic {$\infty$}-categories},
+  Journal         = {High. Struct.},
+  fjournal        = {Higher Structures},
+  Volume          = {1},
+  Year            = {2017},
+  Number          = {1},
+  Pages           = {147--224},
+  DOI             = {10.1007/s42001-017-0005-6},
+}
+
+@Book{            RiehlContext,
+  Author          = {Riehl, Emily},
+  Title           = {Category Theory in Context},
+  Year            = {2016},
+  Publisher       = {Dover Publications},
+  Series          = {Aurora: Modern Math Originals},
+  URL             = {https://math.jhu.edu/~eriehl/context/}
+}
+
 @Article{         Artin1947,
   Author          = {Artin, E.},
   Title           = {Theory of braids},