A presentation of bases for parametrized iterativity

Jiri Adamek, Stefan Milius and Jiri Velebil

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