All Questions
1 question
8
votes
0
answers
199
views
When are the categories of algebras over props (co)complete?
Suppose P is a (colored) prop in a closed symmetric monoidal locally presentable category C. Is the category Alg_P of algebras over P in C locally presentable?
It seems that one can relatively easy ...