diff options
| -rw-r--r-- | cv.pdf | bin | 53598 -> 54356 bytes | |||
| -rw-r--r-- | cv.tex | 3 |
2 files changed, 3 insertions, 0 deletions
| Binary files differ @@ -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)} |
