Publications
Filtered colimit elimination from Birkhoff's variety theorem
DOI
DOI
Journal of Pure and Applied Algebra
Preprints
Double categories of profunctors
arXiv
arXiv
April 2025.
Relativized universal algebra via partial Horn logic
arXiv
arXiv
January 2024. (master's thesis)
Filtered colimit elimination from Birkhoff's variety theorem
arXiv
arXiv
September 2023.
Birkhoff's variety theorem for relative algebraic theories
arXiv
arXiv