English

Amalgamable diagram shapes

Category Theory 2019-03-27 v1 Logic

Abstract

A category has the amalgamation property (AP) if every pushout diagram has a cocone, and the joint embedding property (JEP) if every finite coproduct diagram has a cocone. We show that for a finitely generated category I\mathbf I, the following are equivalent: (i) every I\mathbf I-shaped diagram in a category with the AP and the JEP has a cocone; (ii) every I\mathbf I-shaped diagram in the category of sets and injections has a cocone; (iii) a certain canonically defined category L(I)\mathcal{L}(\mathbf{I}) of "paths" in I\mathbf I has only idempotent endomorphisms. When I\mathbf I is a finite poset, these are further equivalent to: (iv) every upward-closed subset of I\mathbf I is simply-connected; (v) I\mathbf I can be built inductively via some simple rules. Our proof also shows that these conditions are decidable for finite I\mathbf I.

Keywords

Cite

@article{arxiv.1606.06777,
  title  = {Amalgamable diagram shapes},
  author = {Ruiyuan Chen},
  journal= {arXiv preprint arXiv:1606.06777},
  year   = {2019}
}

Comments

14 pages

R2 v1 2026-06-22T14:31:06.377Z