Finitely presentable algebras for finitary monads

Adámek J, Milius S, Sousa L, Wißmann T (2019)

Publication Type: Journal article

Publication year: 2019

Journal

Theory and Applications of Categories Mount Allison University

Book Volume: 34

Pages Range: 1179-1195

Abstract

For finitary regular monads T on locally finitely presentable categories we characterize the finitely presentable objects in the category of T-algebras in the style known from general algebra: they are precisely the algebras presentable by finitely many generators and finitely many relations.

Authors with CRIS profile

Stefan Milius Lehrstuhl für Informatik 8 (Theoretische Informatik) Thorsten Wißmann Lehrstuhl für Informatik 8 (Theoretische Informatik)

Involved external institutions

Czech Technical University in Prague / České vysoké učení technické v Praze CZ Czech Republic (CZ)

How to cite

APA:

Adámek, J., Milius, S., Sousa, L., & Wißmann, T. (2019). Finitely presentable algebras for finitary monads. Theory and Applications of Categories, 34, 1179-1195.

MLA:

Adámek, J., et al. "Finitely presentable algebras for finitary monads." Theory and Applications of Categories 34 (2019): 1179-1195.

BibTeX: Download