3.7. Categories

Monoids were introduced as an abstraction of transformation monoids, which are concrete categories with one object. Generalizing this to pluralities of objects, a category (also called abstract category for insistence) differs from a concrete category, by forgetting that objects are sets and that morphisms are functions. It is made of: such that Generalizing isomorphisms in concrete categories, an isomorphism f between objects E and F in an abstract category, is an f∈Mor(E,F) such that ∃g∈Mor(F,E), gf=1Efg=1F. This g is unique, called the inverse of f and written f-1.

Again, an automorphism of an object E, is an isomorphism from E to itself. Their set Aut(E) is the group of invertible elements of the monoid End(E)=Mor(E,E).

Representation of small categories. Any small category has an interpretation as a family of typed algebras, with all morphisms between them.

Proof. Let us fix the set of types as a copy of the set of objects : from each object X we make a type X' (not giving any special status to this bijection).
See each object M as a system interpreting each type X' as the set Mor(X',M).
Take the language of function symbols where the set of those from type X' to type Y' is Mor(Y',X').
The proof goes on just like with monoids.∎

Functions defined by composition

In any category, any f ∈ Mor(E,F) defines functions by currying composition with other morphisms to or from another object X: let us denote (almost following wikipedia but adapted to our concept of concrete category)
The former respects composition, while the latter reverses it: for any 4 objects E,F,G,X , ∀f ∈Mor(E,F), ∀g∈Mor(F,G),

Hom(X, g) ০ Hom(X, f) = Hom(X, gf)
HomF(f, X) ০ HomG(g, X) = HomG(gf, X)

The concepts of cancellativity and invertibility are generalized to categories as follows.

Monomorphism. In a category, a morphism f∈Mor(E,F) is called monic, or a monomorphism, if Hom(X,f) is injective for all objects X:

g,h∈Mor(X,E), fg = fhg = h.

Epimorphism. In an abstract category, a morphism f∈Mor(E,F) is called epic, or an epimorphism, if Hom(f,X) is injective for all objects X:

g,h∈Mor(F,X), gf = hfg = h.

In our concept of concrete category, we must specify F, saying f∈Mor(E,F) is F-epic, or an F-epimorphism, if all HomF(f,X) are injective.

In any concrete category, all injective morphisms are monic, and any morphism with image F is F-epic. However, the converses may not hold, and exceptions may be uneasy to classify, especially as the condition depends on the whole category.

Sections, retractions. When gf = 1E we say that f is a section of g, and that g is a retraction of f.

Proof: if gf=1E then for all objects X, HomF(f,X) ০ HomE(g,X) = HomE(1E,X) = IdMor(E,X), thus Similarly, Hom(X,g) ০ Hom(X,f) = Hom(X,1E) = IdMor(X,E) thus f is monic and Im(Hom(X,g)) = Mor(X,F).∎

If f is an isomorphism then Hom(X,f) and Hom(X,g) are bijections, inverse of each other, between Mor(X,E) and Mor(X,F).

Any epic section is an isomorphism. Any monic retraction is an isomorphism.

Initial and final objects

In any category, an object X is called an initial object if all sets Mor(X,Y) are singletons. Of course any object isomorphic to an initial object is also an initial object, as all isomorphic objects have the same properties. But conversely all initial objects (if they exist) are isomorphic, by a unique isomorphism between any two of them:
For any initial objects X, Y, ∃f∈Mor(X,Y), ∃g∈Mor(Y,X), gf ∈ Mor(X,X) ∧ 1X ∈ Mor(X,X) ∴ gf = 1X.
Similarly, fg = 1Y. Thus f is an isomorphism, unique because Mor(X,Y) is a singleton.∎
By this unique isomorphism, X and Y may be treated as identical to each other. Initial objects are said to be essentially unique.
Similarly, an object X is called a final object if all sets Mor(Y,X)) are singletons.
Such objects exist in many categories, but are not always interesting. For example, in any category of relational systems containing representatives (copies) of all possible ones with a given language: Exercise. Given two fixed sets K and B, consider the category where Does it have an initial object ? a final object ?

Embeddings

In a concrete category C, let us pick an object E and any subset AE. If A is not given as an object of C (say, if objects were given as pairwise disjoint, "forgetting" the inclusion relations and the canonical injections between objects), can we add it there with its morphisms with other objects of C without modifying the rest of C ? In categories of relational systems, defining the structure of A by restricting to A the structures of E, we had The category simply generated by the first two of these conditions would let Mor(A,N) be defined as {g|A | g∈Mor(E,N)}. However then, the last condition would make "embedding" equivalent to "section". Indeed, any section is an embedding in this sense, and for a given A, the existence of a section with image A implies the converse for other morphisms into A the equivalence between these conditions are equivalent if there, but otherwise they are not, in which case the {g|A | g∈Mor(E,N)} do not fit the concept of morphisms for any relational structure on A. Moreover only a restricted range of axioms on E were ensured to still hold on A in this way, while for example the property of being an algebra, was only satisfied by sub-algebras. So we need another definition of the concept of embedding to generalize it from categories of relational systems to any concrete category. For this, let us set as definitions the above properties found with relational systems.
namely copying that of K (to see A as isomorphic to K), first f needs to be injective (thus monic), then we need to specify A as a space. Problem : depending on the geometry, two injective morphisms f and g with Im f = Im g = A may disagree on the morphisms they give between A and other spaces in the sense of making both f and g isomorphisms.
Such disagreements could already occur in categories of relational systems.

Then let an injective f ∈ Mor(K,M) be called an embedding if it is a final object in the category defined as you can guess using A = Im f, so that its essential uniquess makes it coherent to declare f an isomorphism to A: for any space N,

{fg | g∈Mor(N,K)} = Mor(N,A).

Then the sets Mor(A,N) can be defined by transport of Mor(K,N) by this f. But in some geometries and choices of A, these might differ from {g|A|g∈Mor(M,N)}. For these to coincide, f has to be a section. Any section is an injective embedding. An advantage of the concept of section over that of embedding, is that its definition does not need checking the whole category.

From this, consider the category where

Final objects (F, f) of this category are called the embeddings of F onto A, as this characterizes embeddings as we defined them when C is a category of relational systems.

Dependencies between qualities of morphisms, can be mapped as follows:

Isomorphism ⇔ (Retraction ∧ Monomorphism) ⇔ (Section ∧ Epimorphism)
Retraction ⇒ Quotient ⇒ Surjective morphism ⇒ Epimorphism
Section ⇒ Embedding ⇒ Injective morphism ⇒ Monomorphism

Categories of acts

From a concrete category C, let C' be the category where Then we have
  1. If C is the category of M-sets for a monoid (M,e, •) then, seeing M as an M-set interpreting • as left action, (M, e) is an initial object of C' ; initial objects are the (X,x) where x is a free and generating element of X.
  2. Conversely, for any initial object (M,e) of C' (if that exists), there is a unique monoid structure (M,e,•) with an action on every other object X of C (beyond • on M itself), such that for all objects X, Y of C we have Mor(X,Y) ⊂ MorM(X,Y) and Mor(M,X) = MorM(M,X).
Proof. 1. by properties of acts as algebraic structures and inverses, as x is free and generating in X if and only if (X,x) is isomorphic to (M, e).
2. Defining ∀xX, hx ∈ Mor(M,X) ∧ hx(e) = x, provides an M-structure on each X which interprets each aM in X as defined by the tuple (e,a). So they are preserved: Mor(X,Y) ⊂ MorM(X,Y), which implies the axioms of M-acts.
The composition in M coming as this M-structure for M = X, satisfies the same axioms.
The last axiom of monoid, he = IdM comes from the uniqueness of he obeying its definition, and ensures the reverse inclusion:
g∈MorM(M,X), g = hg(e)g ∈ Mor(M,X). ∎
This monoid (M,e,•) is essentially the opposite of the monoid End(M). Indeed for all a, bM we have ha ∈ End(M), hb ∈ End(M) and hahb(e) = ha(b) = ba.

Set theory and foundations of mathematics
1. First foundations of mathematics
2. Set theory (continued)
3. Algebra 1
3.1. Morphisms of relational systems and concrete categories
3.2. Algebras
3.3. Special morphisms
3.4. Monoids
3.5. Actions of monoids
3.6. Invertibility and groups
3.7. Categories
3.8. Algebraic terms
3.9. Term algebras
3.10. Integers and recursion
3.11. Presburger Arithmetic
4. Model Theory