Amalgamable diagram shapes
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 , the following are equivalent: (i) every -shaped diagram in a category with the AP and the JEP has a cocone; (ii) every -shaped diagram in the category of sets and injections has a cocone; (iii) a certain canonically defined category of "paths" in has only idempotent endomorphisms. When is a finite poset, these are further equivalent to: (iv) every upward-closed subset of is simply-connected; (v) can be built inductively via some simple rules. Our proof also shows that these conditions are decidable for finite .
Cite
@article{arxiv.1606.06777,
title = {Amalgamable diagram shapes},
author = {Ruiyuan Chen},
journal= {arXiv preprint arXiv:1606.06777},
year = {2019}
}
Comments
14 pages