for each 0 ≤ i < n (both directions are allowed in the same sequence). Equivalently, a category J is connected if each functor from J to a discrete category is constant. In some cases it is convenient to not consider the empty category to be connected.
A stronger notion of connectivity would be to require at least one morphism f between any pair of objects X and Y. Clearly, any category which this property is connected in the above sense.
- Mac Lane, Saunders (1998). Categories for the Working Mathematician. Graduate Texts in Mathematics 5 ((2nd ed.) ed.). Springer-Verlag. ISBN 0-387-98403-8.
|This category theory-related article is a stub. You can help Wikipedia by expanding it.|