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