1. CMB 2009 (vol 52 pp. 273)
||Amalgamations of Categories |
We consider the pushout of embedding functors in $\Cat$, the
category of small categories.
We show that if the embedding functors satisfy a 3-for-2
property, then the induced functors to the pushout category are
also embeddings. The result follows from the connectedness of
certain associated slice categories. The condition is motivated
by a similar result for maps of semigroups. We show that our
theorem can be applied to groupoids and to inclusions of full
subcategories. We also give an example to show that the theorem
does not hold when the
property only holds for one of the inclusion functors, or when it
is weakened to a one-sided condition.
Keywords:category, pushout, amalgamation
Categories:18A30, 18B40, 20L17