Definition. have finite (co)products [kostecki2011introduction, 2.23] [tt-0012]
✍️source

A category which has n-fold (co)products for any \(n \in \mathbb N\) is said to have finite (co)products.

References

Reference. An introduction to topos theory [kostecki2011introduction]

2011
Ryszard Paweł Kostecki
https://www.fuw.edu.pl/~kostecki/ittt.pdf

@article{kostecki2011introduction,
 title = {An Introduction to Topos Theory},
 author = {Kostecki, Ryszard Pawe{\l}},
 year = {2011},
 url = {https://www.fuw.edu.pl/~kostecki/ittt.pdf},
 journal = {Technial Report}
}

Context

Basic types of diagrams [tt-000P]

By "basic types of diagrams", we mean some basic structures inside a category.

Definition. diagram, shape [leinster2016basic, 5.1.18] [tt-0025]

Let \({\cal C}\) be a category and \({\cal J}\) a small category. A functor \(\mathscr {D} : {\cal J} \to {\cal C}\) is called a diagram in \({\cal C}\) of shape \({\cal J}\).

\({\cal J}\) is also called the indexing category of the diagram, and we say that \(\mathscr {D}\) is a diagram indexed by \({\cal J}\) [rosiak2022sheaf, example 35]. \(J\) is also called the template.

Definition. shape E [leinster2016basic, 5.14] [tt-000O]

The diagram

$\text{[math]}$ is called a diagram of shape E.

For simplicity, we refer to a diagram of shape E by "a shape \(E(f, g)\)".

"E" in "shape E" stands for "equal", and the reason will unfold in the definition of equalizer.

Definition. fork [leinster2016basic, 5.4] [tt-000R]

A fork over a shape \(E(f, g)\) is the diagram

$\text{[math]}$ that makes the diagram $\text{[math]}$ commute.

For simplicity, we refer to a fork by "a fork \((E, \iota )\) (over the shape \(E(f, g)\))".

Convention. grey arrow [tt-000S]

We use grey arrows to represent the composition arrow in a fork. This convention is not from literatures and is subject to change.

Definition. equalizer [leinster2016basic, 5.1.11] [tt-000Q]

An equalizer of a shape \(E(f, g)\) is a fork \((E, \iota )\) over it, such that, for any \((\mathrm {-}, d)\) over the fork, the diagram

$\text{[math]}$ commutes (i.e. any arrow \(d : \mathrm {-} \to X\) must uniquely factor through \(E\)).

For simplicity, we refer to the equalizer of a shape \(E(f, g)\) as \(\operatorname {Eq}(f, g)\), and \(\iota \) is the canonical inclusion.

We say that a category \({\cal C}\) has equalizers iff every shape E in \({\cal C}\) has an equalizer.

Remark. equalizing set [kostecki2011introduction, eq. 32] [tt-000U]

Equalizer in a category is a generalisation of a subset which consists of elements of a given set such that two given functions are equal on them, formally:

For any two arrows \(f, g: X \to Y\), their equalizing set \(E \subseteq X\) is defined as \[ E:=\{e \mid e \in X \wedge f(e)=g(e)\} \]

Definition. shape P [leinster2016basic, 5.14] [tt-000W]

The diagram

$\text{[math]}$ is called a diagram of shape P.

For simplicity, we refer to a diagram of shape P by "a shape \(P(f, g)\)".

"P" in "shape P" may stand for "product/projection/pullback", and the reason will unfold in the definition of pullback.

Definition. pullback (fiber product) [kostecki2011introduction, 2.12] [tt-000V]

A pullback of a shape \(P(f, g)\) is an object \(X \times _O Y\) in \({\cal C}\) together with arrows \(p_X\) and \(p_Y\), called projections, such that, for any object \(\mathrm {-}\) and arrows \(h\) and \(k\), the diagram

$\text{[math]}$ commutes.

We say that a category \({\cal C}\) has pullbacks iff every shape \(P(f, g)\) in \({\cal C}\) has a pullback in \({\cal C}\).

A pullback is also called a fiber product.

The square

$\text{[math]}$ is called the pullback square of \(f\) and \(g\). The object \(X \times _O Y\) in \({\cal C}\) is called the fiber product object.

Lemma. pasting pullbacks [spivak2013category, 2.5.1.17] [tt-0056]

Pullbacks can be pasted together, i.e. for diagram

$\text{[math]}$ given that the right-hand square is a pullback, the left-hand square is a pullback if and only if the outer rectangle is a pullback.

Definition. shape T [leinster2016basic, 5.14] [tt-0026]

The diagram

$\text{[math]}$ is called a diagram of shape T.

For simplicity, we refer to a diagram of shape T by "a shape \(T(X, Y)\)" where \(X\) and \(Y\) are the 2 objects.

"T" in "shape T" stands for "two". Shape T is useful in the definition of binary product [kostecki2011introduction, 2.18].

Definition. binary product [kostecki2011introduction, 2.18] [tt-000Y]

A binary product of objects \(X\) and \(Y\) is an object \(X \times Y\) in \({\cal C}\) together with arrows \(p_X\) and \(p_Y\), called projections, such that, for any object \(\mathrm {-}\) and arrows \(h\) and \(k\), the diagram $\text{[math]}$ commutes.

We say that a category \({\cal C}\) has binary products iff every pair \(X, Y\) in \({\cal C}\) has a binary product \(X \times Y\) in \({\cal C}\).

When there is no confusion, we simply call bianry products products.

Definition. coshape, coequalizer, pushout (fiber coproduct), binary coproduct [kostecki2011introduction, 2.14, 2.16, 2.19] [tt-000X]

coshape, coequalizer, pushout (fiber coproduct), binary coproduct can be defined by reversing all arrows in the definitions of shape, equalizer, pullback (fiber product), binary product respectively.

The pushout equivalent of the fiber product object in pullback is the fiber coproduct object, denoted \(X +_{O} Y\), and the pushout equivalent of projections in pullback are injections, denoted \(i_X\) and \(i_Y\), respectively. The unique arrow of a pushout is denoted \([f, g]\).

The binary coproduct equivalent of the binary product object in binary product is the binary coproduct object, denoted \(X + Y\), and the binary coproduct equivalent of projections in binary product are injections, denoted \(i_X\) and \(i_Y\), respectively. The unique arrow of a binary coproduct is denoted \([f, g]\).

Diagramatically,

Coshapes:
- \(T\) = $\text{[math]}$
- \(E\) = $\text{[math]}$
- \(P\) = $\text{[math]}$
coequalizer: $\text{[math]}$
pushout (fiber coproduct): $\text{[math]}$
binary coproduct: $\text{[math]}$

Lemma. monic and pullback [leinster2016basic, 5.1.32] [tt-003J]

An arrow \(X \xrightarrow {f} Y\) is monic iff the square

$\text{[math]}$ is a pullback.

The significance of this lemma is that whenever we prove a result about limits, a result about monics will follow.

Lemma. epic and pushout [leinster2016basic, sec. 5.2] [tt-003M]

An arrow \(X \xrightarrow {f} Y\) is epic iff the square

$\text{[math]}$ is a pushout.

This is dual to Lemma [tt-003J].

Definition. n-fold (co)products [kostecki2011introduction, 2.22] [tt-0011]

In any category with binary products the objects \(X \times (Y \times Z)\) and \((X \times Y) \times Z\) are isomorphic. In any category with binary coproducts the objects \(X+(Y+Z)\) and \((X+Y)+Z\) are isomorphic.

This allows to consider \(n\)-fold products \(X_1 \times \dots \times X_n\) and \(n\)-fold coproducts \(X_1 + \dots + X_n\) of objects of a given category.

Definition. have finite (co)products [kostecki2011introduction, 2.23] [tt-0012]
✍️source

A category which has n-fold (co)products for any \(n \in \mathbb N\) is said to have finite (co)products.

Backlinks

Definition. cartesian closed category [kostecki2011introduction, 5.14] [tt-004H]

A category \({\cal C}\) is called cartesian closed iff \({\cal C}\) has exponentials and has finite products.

Related

Definition. n-fold (co)products [kostecki2011introduction, 2.22] [tt-0011]

In any category with binary products the objects \(X \times (Y \times Z)\) and \((X \times Y) \times Z\) are isomorphic. In any category with binary coproducts the objects \(X+(Y+Z)\) and \((X+Y)+Z\) are isomorphic.

This allows to consider \(n\)-fold products \(X_1 \times \dots \times X_n\) and \(n\)-fold coproducts \(X_1 + \dots + X_n\) of objects of a given category.