# Nathanael Arkor

## narkor.co

## Postdoc researching Category Theory & Type Theory at Masaryk University

### Preprints

- Relative monadicity (with Dylan McDermott), arXiv
- The formal theory of relative monads (with Dylan McDermott), arXiv
- Higher-order algebraic theories (with Dylan McDermott), PDF

### Papers

- Abstract clones for abstract syntax (with Dylan McDermott), FSCD 2021, DOI, arXiv
- Algebraic models of simple type theories: a polynomial approach (with Marcelo Fiore), LICS 2020, DOI, arXiv

### Thesis

- Monadic and Higher-Order Structure, University of Cambridge (2022), DOI

### Software

**quiver**: a modern commutative diagram editor for the web.
**tangle**: a modern string diagram editor for the web.

### Talks

- The formal theory of relative monads, PSSL 107, Slides
- A 2-dimensional perspective on polymorphism, ICE-TCS Seminar, Slides
- Relative monads and their many guises, Octoberfest 2022, Slides
- What is a proof?, DIMEA and FORMELA Seminar, Slides
- The (relative) monad–theory correspondence (with Dylan McDermott), Masaryk University Algebra Seminar, Recording, Slides
- The (relative) monad–theory correspondence (with Dylan McDermott), TallCat, Slides
- The formal theory of theories (first half with Dylan McDermott), CT 20→21, Recording, Slides
- Abstract clones for abstract syntax (with Dylan McDermott), FSCD 2021, Recording, Slides
- Higher-order algebraic theories and relative monads (with Dylan McDermott), Categories and Companions Symposium 2021, Recording, Slides
- Higher-order algebraic theories and relative monads (with Dylan McDermott), Masaryk University Algebra Seminar, Recording, Slides
- Algebraic models of simple type theories: a polynomial approach (with Marcelo Fiore), LICS 2020, Recording, Slides
- Algebraic simple type theory: a polynomial approach (with Marcelo Fiore), Category Theory 2019, Slides