Construction of pullbacks in the category of Monoids (book reference)

232 Views Asked by At

Can someone give me a book reference where I can find the construction of the pullbacks (or of one pullback) in the category of Monoids?

2

There are 2 best solutions below

0
On BEST ANSWER
0
On

If $A \to C \leftarrow B$ are monoid homomorphisms, then the underlying set of the pullback $A \times_C B$ is $|A \times_C B| = |A| \times_{|C|} |B|$, i.e. the pullback of the underlying sets, and the multiplication is defined entrywise, i.e. $(a,b)(a',b')=(aa',bb')$. This construction has nothing to do with pullbacks or monoids specifically, it holds for all limits of algebraic structures. See e.g. Borceux, Handbook of categorical algebra, or Adamek-Herrlich-Strecker, Abstract and concrete categories.