Examples of categories where morphisms are not functions Can someone give examples of categories where objects are some sort of structure based on sets and morphisms are not functions?

Let $G$ be a directed graph.  Then we can think of $G$ as a category whose objects are the vertices in $G$.  Given vertices $a, b \in G$ the morphisms from $a$ to $b$ are the set of paths in the graph $G$ from $a$ to $b$ with composition being concatenation of paths.  Note that we allow "trivial" paths that start at a given vertex $a$, traverse no edges, and end at the starting vertex $a$.  We have to do this for the category to have identities.
Also we can create categories whose morphisms are not exactly maps but instead equivalence classes of maps.  For example given an appropriately nice ring $R$ we can create the stable module category whose objects are $R$-modules.  Given two $R$-modules $A$ and $B$ the set of morphisms from $A$ to $B$ is the abelian group of $R$-module homomorphisms from $A$ to $B$ modulo the subgroup of homomorphisms that factor through a projective $R$-module.
