CatGloss

A category $\mathsf{J}$ is connected if it is non-empty and if, in its underlying directed graph, every pair of objects is connected by a finite zig-zag of morphisms. A diagram is connected if it is indexed by a connected category.