There are certain ideas that are common across many areas of mathematics. Regardless of whether we’re talking about vector spaces, topological spaces, groups, or simply sets, we have some notion of a mapping between entities in that space. In the case of sets we may require nothing more than that the maps be well-defined, whereas with groups or vector spaces we may also require that the map preserves some structure. For example, when discussing maps between vector spaces we may require linearity (e.g., a linear transformation); for groups we may require that the map respects the group operation (homomorphisms). In either case, we may place some other requirements on the maps that do not require the structure of the space. In set-theoretic terms, we may concern ourselves with maps that are injective (one-to-one; for each output, there is only one input); that are surjective (there is an input that will give each possible output), or both (bijective). The language and ideas of category theory allow us to generalize this common notion and also to explore consequences of the requirements we place on these maps.
A category is a class of objects and a class of morphisms between those objects that satisfy certain properties. Before discussing those properties it should be noted that though in many instances morphisms will be actual maps or functions, they don’t necessarily have to be. We may in fact think of a category simply as a directed graph, where the vertices are objects and the edges are morphisms. Here there is no structure or mapping quality of the morphisms, they are just “arrows” that start at one object and end at another.
Collectively, the class of objects of the category is referred to as
, and the class of morphisms as
. To refer to the collection of morphisms whose source is the object
and whose target is the object
, we write
(or just
if the category
is clear from the context). The morphisms of
must satisfy the following.
- For each
there is an identity morphism from that object to itself. That is, there is a
with the property that for any
and
such that
and
.
- Composition of morphisms yields a morphism: if
and
, then there is a morphism,
.
- Composition of morphisms is associative: if
,
, and
are morphisms, then
.
For example, the following diagram could be taken as the definition of a category .
In this category we have three objects, ,
, and
. In addition to the identity morphisms, we have an
, a
, and their composition.
Would you mind telling me what is the LaTeX code, if there is any, that generates the diagram above.
(I know that my question has nothing to do with the content of your post).
Best regards,
Comment by Américo Tavares — February 23, 2009 @ 9:32 am |
Sure. Though here I just generated a PDF and took a screenshot of that to post here. But anyway the code is
\documentclass[12pt]{article}
\usepackage{xypic}
\xyoption{curve}
\begin{document}
$$
\xymatrix{
A \ar@(l,u)[]^{1_A}
\ar@{->}[r]^f
\ar@{->}[dr]_{g \circ f} &
B \ar@(u,r)[]^{1_B}
\ar@{->}[d]^g \\
& C \ar@(d,r)[]_{1_C}
}
$$
\end{document}
I pretty much just copied, pasted and played around with examples in the xypic user guide: http://www.ctan.org/tex-archive/macros/generic/diagrams/xypic/xy/doc/xyguide.pdf
Comment by cjohnson — February 23, 2009 @ 10:38 am |
Many thanks.
Comment by Américo Tavares — February 23, 2009 @ 11:18 am |
[…] are, of course, categories which are not concrete. In the last post we saw a very simple category with three objects. These objects aren’t sets, they’re […]
Pingback by Concrete and Non-Concrete Categories (Informally) « Mathematics Prelims — February 24, 2009 @ 4:02 pm |