nLab Nathanael Arkor

Nathanael Arkor is a postdoc researching category theory and type theory. Under the pseudonym varkor he is the author of the diagram editor quiver.

• personal page

• institute page

Selected writings

On monads and higher-order algebraic theories:

• Nathanael Arkor, Monadic and Higher-Order Structure, PhD thesis, Cambridge (2022) [doi:10.17863/CAM.86347, pdf, pdf]

On simple type theory:

• Nathanael Arkor, Marcelo Fiore, Algebraic models of simple type theories: a polynomial approach, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (2020) 88-101 [doi:10.1145/3373718.3394771, arXiv:2006.16949]

On formal theory of relative monads via virtual equipments:

• Nathanael Arkor, Dylan McDermott, The formal theory of relative monads, Journal of Pure and Applied Algebra 107676. (2024) [arXiv:2302.14014]

• Nathanael Arkor, Dylan McDermott, Relative monadicity (2023) [arXiv:2305.10405]

• Nathanael Arkor, Dylan McDermott, The pullback theorem for relative monads (2024) [arXiv:2404.01281]

• Nathanael Arkor, Relative monads and their many guises, talk at Category Theory Octoberfest 2022 [slides:pdf, video:mp4]

On higher-order algebraic theories:

• Nathanael Arkor, Dylan McDermott, Higher-order algebraic theories (pdf)

• Nathanael Arkor and Dylan McDermott, Abstract Clones for Abstract Syntax, 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021). Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2021. (arXiv)

On the adjoint functor theorem in the context of lax-idempotent 2-monads:

• Nathanael Arkor, Ivan Di Liberti, Fosco Loregian, Adjoint functor theorems for lax-idempotent pseudomonads, [arXiv:2306.10389]

Related entries

• formal category theory
• relative monad
• relative adjunction
• algebraic theory

category: people