# Nathanael Arkor

## narkor.co

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

### 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

### Drafts

- Higher-order algebraic theories (with Dylan McDermott), PDF

### Talks

- 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