A category is complete if every diagram in C has a limit in C.

See Limit.

This means that arrows between the same objects must have a limit so does this mean the arrows are the same (upto isomorphism)? |

Theorem: If C has a terminal object and a pullback for each pair of C-arrows with common codomain then C is finitely complete.

See Pullback .

## Other Meanings of Completeness

In order theory, completeness properties assert the existence of certain infima or suprema of a given partially ordered set (poset)