#
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.

http://www.tac.mta.ca/tac/volumes/32/19/32-19.pdf

TAC Home