Finitary monads on a locally finitely presentable category A are well-known to possess a presentation by signatures and equations. Here we prove that, analogously, bases on A, i.e., finitary functors from A to the category of finitary monads on A, possess a presentation by parametrized signatures and equations.
Keywords: parametrized monads, bases, algebra, presentation
2010 MSC: 08C05, 18C20, 18C35
Theory and Applications of Categories, Vol. 32, 2017, No. 19, pp 682-718.
Published 2017-05-05.
TAC Home