Amalgamable Diagram Shapes

Amalgamable Diagram Shapes

Amalgamable diagram shapes Ruiyuan Chen∗ 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, the following are equivalent: (i) every I-shaped diagram in a category with the AP and the JEP has a cocone; (ii) every I-shaped diagram in the category of sets and injections has a cocone; (iii) a certain canonically defined category L(I) of \paths" in I has only idempotent endomorphisms. When I is a finite poset, these are further equivalent to: (iv) every upward-closed subset of I is simply-connected; (v) I can be built inductively via some simple rules. Our proof also shows that these conditions are decidable for finite I. 1 Introduction This paper concerns a category-theoretic question which arose in a model-theoretic context. In model theory, specifically in the construction of Fra¨ıss´elimits (see [H, x7.1]), one considers a class K of structures (in some first-order language) with the following properties: • the joint embedding property (JEP):(K is nonempty and) for every two structures A; B 2 K, there are embeddings f : A ! X and g : B ! X into some X 2 K: X f g ; A B • the amalgamation property (AP): every diagram of embeddings B C f g A between structures A; B; C 2 K can be completed into a commutative diagram X h k B C f g A ∗Research partially supported by NSERC PGS D 1 for some structure X 2 K and embeddings h : B ! X and k : C ! X. Common examples of classes K with these properties include: finitely generated groups; posets; nontrivial Boolean algebras; finite fields of fixed characteristic p. From the AP (and optionally the JEP), one has various \generalized amalgamation properties", whereby more complicated diagrams (of embeddings) can be completed into commutative diagrams (of embeddings), e.g., the following diagram by two uses of AP: Y X : A C E B D However, the following diagram cannot be completed using just the AP (and the JEP): A B g h f k : (1) C D For example, take K = the class of finite sets, A = C = D = 1, B = 2, and h 6= k. This leads to the following Question. Can we characterize the shapes of the diagrams which can always be completed using the AP, i.e., the \generalized amalgamation properties" which are implied by the AP? If so, is such a characterization decidable? This question concerns only abstract properties of diagrams and arrows, hence is naturally phrased in the language of category theory. Let C be a category. Recall that a cocone over a diagram in C consists of an object X 2 C, together with morphisms fA : A ! X in C for each object A in the diagram, such that the morphisms fA commute with the morphisms in the diagram; this is formally what it means to \complete" a diagram. Recall also that a colimit of a diagram is a universal cocone, i.e., one which admits a unique morphism to any other cocone. (See Section2 for the precise definitions.) We say that C has the AP if every pushout diagram (i.e., diagram of shape • • ! •) in C has a cocone, and that C has the JEP1 if every diagram in C consisting of finitely many objects (without any arrows) has a cocone. When C is the category of structures in a class K and embeddings between them, this recovers the model-theoretic notions defined above. Category- theoretic questions arising in Fra¨ıss´etheory have been considered previously in the literature; see e.g., [K], [C]. 1We borrow this terminology from model theory, even when not assuming that morphisms are \embeddings" in any sense; in particular, we do not assume that every morphism in C is monic (although see Section5). 2 The possibility of answering the above question in the generality of an arbitrary category is suggested by an analogous result of Par´e[P] (see Theorem4 below), which characterizes the diagram shapes over which a colimit may be built by pushouts (i.e., colimits of pushout diagrams). There, the crucial condition is that the diagram shape must be simply-connected (see Definition2); failure to be simply-connected is witnessed by the fundamental groupoid of the diagram shape, whose morphisms are \paths up to homotopy". For example, the fundamental groupoid of the shape of (1) is equivalent to Z, with generator given by the \loop" A D ! B C ! A. However, simply-connectedness of a diagram's shape does not guarantee that a cocone over it may be built using only the AP (see Example5 below). Intuitively, the discrepancy with Par´e's result is because the universal property of a pushout allows it to be used in more ways to build further cocones. Simply-connectedness nonetheless plays a role in the following characterization, which is the main result of this paper: Theorem 1. Let I be a finitely generated category. The following are equivalent: (i) Every I-shaped diagram in a category with the AP and the JEP has a cocone. (ii) Every I-shaped diagram in the category of sets and injections has a cocone. (When I is finite, it suffices to consider finite sets.) (iii) I is upward-simply-connected (see Definition 10). When I is a finite poset, these are further equivalent to: (iv) Every upward-closed subset of I is simply-connected. (v) I is forest-like (see Definition 16; this means I is built via some simple inductive rules). Similarly, every I-shaped diagram in a category with the AP has a cocone, iff I is connected and any/all of (ii), (iii) (also (iv), (v) if I is a poset) hold. A corollary of our proof yields a simple decision procedure for these conditions (for finite I). This is somewhat surprising, because Par´e'sresult (Theorem4) implies that the analogous question of whether every I-shaped diagram has a colimit in a category with pushouts is undecidable. This paper is organized as follows. In Section2, we fix notations and review some categorical concepts. In Section3, we introduce an invariant L(I), similar to the fundamental groupoid, and use it to prove the equivalence of (ii) and (iii) in Theorem1 for arbitrary small (not necessarily finitely generated) I. In Section4, we analyze upward-simply-connected posets in more detail, deriving the conditions (iv) and (v) equivalent to (iii) and proving that they imply (i) when I is a finite poset. In Section5, we remove this restriction on I and complete the proof. Finally, in Section6, we discuss decidability of the equivalent conditions in Theorem1 and of the analogous conditions in Par´e'sresult. Acknowledgments. We would like to thank Alexander Kechris for providing some feedback on an earlier draft of this paper. 2 Preliminaries We begin by fixing notations and terminology for some basic categorical notions; see [ML]. 3 For a category C and objects X; Y 2 C, we denote a morphism between them by f : X −! Y . C We use the terms morphism and arrow interchangeably. We use Set to denote the category of sets and functions, Inj to denote the category of sets and injections, and PInj to denote the category of sets and partial injections. We use Cat; Gpd to denote the categories of small categories, resp., small groupoids.2 We regard a preordered set (I; ≤) as a category where there is a unique arrow I −! J iff I ≤ J. I We say that a category C is monic if every morphism f : X −! Y in it is monic (i.e., if C f ◦ g = f ◦ h then g = h, for all g; h : Z −! X). Similarly, C is idempotent if every endomorphism C f : X −! X is idempotent (i.e., f ◦ f = f). C A category I is finitely generated if there are finitely many arrows in I whose closure under composition is all arrows in I. Note that such I necessarily has finitely many objects, and that a preorder is finitely generated iff it is finite. For a category C and a small category I, a diagram of shape I in C is simply a functor F : I ! C.A cocone (X; f) over a diagram F consists of an object X 2 C together with a family of morphisms f = (fI : F (I) −! X)I2I, such that for each i : I −! J, we have fI = fJ ◦ F (i). A C I morphism between cocones (X; f) and (Y; g) over the diagram F is a morphism h : X −! Y C such that for each object I 2 I, we have h ◦ fI = gI . A cocone (X; f) over F is a colimit of F if it is initial in the category of cocones over F , i.e., for any other cocone (Y; g) there is a unique cocone morphism h :(X; f) ! (Y; g); in this case we write X = lim F , and usually use a letter like ι for −! I the cocone maps fI . F (i) F (I) F (J) f J gJ gI fI X = lim F Y −! h As mentioned above, a category C has the amalgamation property (AP) if every pushout diagram (i.e., diagram of shape • • ! •) in C has a cocone (colimits of such diagrams are called pushouts), and C has the joint embedding property (JEP) (regardless of whether C is monic) if every finite coproduct diagram (i.e., diagram of finite discrete shape) in C has a cocone.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    14 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us