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.

Selected writings

On monads and higher-order algebraic theories:

On simple type theory:

On formal theory of relative monads via virtual equipments:

On higher-order algebraic theories:

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

category: people

Last revised on April 6, 2024 at 09:29:28. See the history of this page for a list of all contributions to it.