Nathanael Arkor

narkor.co

Postdoc researching Category Theory & Type Theory at Tallinn University of Technology

Google ScholarORCID

Preprints

  1. The pullback theorem for relative monads (with Dylan McDermott), , arXiv
  2. Adjoint functor theorems for lax-idempotent pseudomonads (with Ivan Di Liberti and Fosco Loregian), , arXiv
  3. Relative monadicity (with Dylan McDermott), , arXiv
  4. Higher-order algebraic theories (with Dylan McDermott), , PDF
    See Chapter 4 of my thesis for an revised account.

Papers

  1. The formal theory of relative monads (with Dylan McDermott), Journal of Pure and Applied Algebra, , DOI, arXiv
  2. Abstract clones for abstract syntax (with Dylan McDermott), FSCD 2021, DOI, arXiv
  3. 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 pullback theorem for relative monads (with Dylan McDermott), TSEM Seminar, Slides
  2. Relative monads and distributors (with Dylan McDermott), #LoVe Seminar, Slides
  3. The nature of adjoint functor theorems (with Ivan Di Liberti and Fosco Loregian), PSSL 108, Slides
  4. The formal theory of relative monads (with Dylan McDermott), Category Theory 2023, Recording, Slides
  5. The theory of relative (co)monads (with Dylan McDermott), Comonads Seminar, Slides
  6. The formal theory of relative monads (with Dylan McDermott), PSSL 107, Slides
  7. A 2-dimensional perspective on polymorphism, ICE-TCS Seminar, Slides
  8. Relative monads and their many guises (with Dylan McDermott), Octoberfest 2022, Slides
  9. What is a proof?, DIMEA and FORMELA Seminar, Slides
  10. The (relative) monad–theory correspondence (with Dylan McDermott), Masaryk University Algebra Seminar, Recording, Slides
  11. The (relative) monad–theory correspondence (with Dylan McDermott), TallCat, Slides
  12. The formal theory of theories (first half with Dylan McDermott), CT 20→21, Recording, Slides
  13. Abstract clones for abstract syntax (with Dylan McDermott), FSCD 2021, Recording, Slides
  14. Higher-order algebraic theories and relative monads (with Dylan McDermott), Categories and Companions Symposium 2021, Recording, Slides
  15. Higher-order algebraic theories and relative monads (with Dylan McDermott), Masaryk University Algebra Seminar, Recording, Slides
  16. Algebraic models of simple type theories: a polynomial approach (with Marcelo Fiore), LICS 2020, Recording, Slides
  17. Algebraic simple type theory: a polynomial approach (with Marcelo Fiore), Category Theory 2019, Slides