In category theory, a branch of mathematics, a connected category is a category in which, for every two objects X and Y there is a finite sequence of objects
with morphisms
or
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.
A small category is connected if and only if its underlying graph is weakly connected.
Each category J can be written as a disjoint union (or coproduct) of a connected categories, which are called the connected components of J. Each connected component is a full subcategory of J.
Famous quotes containing the words connected and/or category:
“Before I had my first child, I never really looked forward in anticipation to the future. As I watched my son grow and learn, I began to imagine the world this generation of children would live in. I thought of the children they would have, and of their children. I felt connected to life both before my time and beyond it. Children are our link to future generations that we will never see.”
—Louise Hart (20th century)
“The truth is, no matter how trying they become, babies two and under don’t have the ability to make moral choices, so they can’t be “bad.” That category only exists in the adult mind.”
—Anne Cassidy (20th century)