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