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 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:
On bicategories of pseudoalgebras for relative pseudomonads:
Last revised on February 6, 2025 at 23:12:48. See the history of this page for a list of all contributions to it.