Nathanael Arkor

narkor.co

Postdoc researching Category Theory & Type Theory at Masaryk University

Preprints

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

Papers

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

Thesis

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

Software

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

Talks

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