category theory Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Nowadays, cate ...

, a category with a

terminal object In category theory, a branch of mathematics, an initial object of a category is an object in such that for every object in , there exists precisely one morphism . The dual notion is that of a terminal object (also called terminal element): ...

1

is well-pointed if for every pair of arrows

f,g:A\to B

such that

f\neq g

, there is an arrow

p:1\to A

such that

f\circ p\neq g\circ p

. (The arrows

p

are called the

global element In category theory, a global element of an object ''A'' from a category is a morphism :h\colon 1 \to A, where is a terminal object of the category.. Roughly speaking, global elements are a generalization of the notion of "elements" from the categor ...

s or ''points'' of the category; a well-pointed category is thus one that has "enough points" to distinguish non-equal arrows.)

References

* Category theory {{Categorytheory-stub

See also

References