Nathanael Arkor

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Relative monadicity
(available as arXiv preprint)
N/APaper
The pullback theorem for relative monads
(available as arXiv preprint)
N/APaper
Exponentiable virtual double categories and presheaves for double categories
Applied Categorical Structures
2026-07-20Paper
The nerve theorem for relative monads
Theory and Applications of Categories
2025-07-11Paper
Relative monadicity
Journal of Algebra
2025-01-29Paper
The formal theory of relative monads
Journal of Pure and Applied Algebra
2024-05-03Paper
Abstract clones for abstract syntax
(available as arXiv preprint)
2023-06-23Paper
Adjoint functor theorems for lax-idempotent pseudomonads2023-06-17Paper
Algebraic models of simple type theories. A polynomial approach
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
2021-01-21Paper


Research outcomes over time


This page was built for person: Nathanael Arkor