Nathanael Arkor is a postdoc researching category theory and type theory. Under the pseudonym varkor he is the author of the diagram editor quiver.
On monads and higher-order algebraic theories:
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&rbrack.
Nathanael Arkor, Dylan McDermott, Relative monadicity, Journal of Algebra 663 (2025), DOI [arXiv:2305.10405]
Nathanael Arkor, Dylan McDermott, The nerve theorem for relative monads (2025), Theory and Applications of Categories, [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:
On bicategories of pseudoalgebras for relative pseudomonads:
On two-dimensional limit sketches and double categories:
On exponentiable virtual double categories and representability for double categories:
On a generalisation of Fox's theorem:
On the relationship between presheaf constructions and free cocompletions in formal category theory:
Last revised on April 27, 2026 at 07:31:37. See the history of this page for a list of all contributions to it.