Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
Dmitri Pavlov's user avatar