diff options
Diffstat (limited to 'cv.tex')
| -rw-r--r-- | cv.tex | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -184,6 +184,9 @@ Interested in: \emph{formal category theory}, \ruletitle{Talks} + \entry{2020/09/11}{Category Theory Seminar}{Johns Hopkins + (online, open to public)}{BI DOUBLing categories we'll see/ MULTIple morphisms acting weakly/ Two out of the four/ Have laws rather poor/ But the last is coherent VIRTUALLY!} + \entry{2019 Fall}{Category Theory Seminar}{Johns Hopkins} {Induction \& construction: the pointless theory of localic topox;\\ Within and not without: an apology for internal languages (2 parts)} |
