(T,V)-Cat is extensive

Maria Manuel Clementino

For a complete and cocomplete monoidal-closed category V and a T suitably extended to V-Rel, we show that the category of (T,V)-categories and (T,V)-functors is infinitary extensive.

Keywords: extensive category, (T,V)-category, (T,V)-graph

2020 MSC: 18B50, 18D20, 18D15, 18C15, 18M65

Theory and Applications of Categories, Vol. 36, 2021, No. 14, pp 368-378.

Published 2021-06-15.


TAC Home