Span, Cospan, and Other Double Categories

Transcription

1 ariv: v1 [math.ct] 18 Jan 2012 Span, Cospan, and Other Double Categories Susan Nieield July 19, 2018 Abstract Given a double category D such that D 0 has pushouts, we characterize oplax/lax adjunctions D Cospan(D 0 ) or which the right adjoint is normalandrestricts totheidentity on D 0, where Cospan(D 0 ) is the double category on D 0 whose vertical morphisms are cospans. We show that such a pair exists i and only i D has companions, conjoints, and 1-cotabulators. The right adjoints are induced by the companions and conjoints, and the let adjoints by the 1-cotabulators. The notion o a 1-cotabulator is a common generalization o the symmetric algebra o a module and Artin-Wraith glueing o toposes, locales, and topological spaces. 1 Introduction Double categories, irst introduced by Ehresmann [2], provide a setting in which one can simultaneously consider two kinds o morphisms (called horizontal and vertical morphisms). Examples abound in many areas o mathematics. There are double categories whose objects are sets, rings, categories, posets, topological spaces, locales, toposes, quantales, and more. There are general examples, as well. I D is a category with pullbacks, then there is a double category Span(D) whose objects and horizontal morphisms are those o D, and vertical morphisms 0 are spans, i.e., morphisms 0 o D, with vertical compositions via pullback. I D is a category with pushouts, thencospan(d) is deined dually, in the sense that vertical morphisms 0 are cospans 0 with vertical compositions via pushout. Moreover, i D has both, then pushout o spans 1

2 and pullback o cospans induce an oplax/lax adjunction (in the sense o Paré [12]) Span(D) F G Cospan(D) which restricts to the identity on the horizontal category D. Now, suppose D is a category with pushouts, and we replace Span(D) by a double category D whose horizontal category is also D. Then several questions arise. Under what conditions on D is there an oplax/lax adjunction D Cospan(D) which restricts to the identity on D? In particular, id has cotabulators, then there is an induced oplax unctor F:D Cospan(D), and so one can ask when this unctor F has a right adjoint. Similarly, i D has companions and conjoints, there is a normal lax unctor G:Cospan(D) D c 0 which takes a cospan 0 c 1 c 0 1 to the composite 0 c 1, and so one can ask when the induced unctor G has a let adjoint. We will see that these questions are related. In particular, there is an oplax/lax adjunction D F Cospan(D) G such that G is normal and restricts to the identity on D precisely when D has 1-cotabulators, conjoints, and companions (where or 1-cotabulators we drop the tetrahedron condition in the deinition o cotabulator). Moreover, i D has pullbacks, then the result dualizes to show that there is oplax/lax adjunctions Span(D) D whose let adjoint is opnormal and restricts to the identity on D precisely when D has 1-tabulators, conjoints, and companions. The double categories mentioned above all have companions, conjoints, and 1-cotabulators, and the unctors F and G are related to amiliar constructions. In the double category o commutative rings (as well as, quantales), the unctor F is given by the symmetric algebra algebra on a bimodule and G is given by restriction o scalars. For categories (and posets), F is the collage construction. In the case o topological spaces, locales, and toposes, the unctor F uses Artin-Wraith glueing. The paper proceeds as ollows. We begin in Section 2 with the double categories under consideration, ollowed by a review o companions and conjoints in Section 3. The notion o 1-tabulators (duallly, 1-cotabulators) is then introduced in Section 4. Ater a brie discussion o oplax/lax adjunctions in Section 5, we present our characterization (Theorem 5.5) o those o 2

3 the orm D Cospan(D) such that right adjoint is normal and restricts to the identity on D. Along the way, we obtain a possibly new characterization (Proposition 5.3) o double categories with companions and conjoints, in the case where the horizontal category D has pushouts, as those or which the identity unctor on D extends to a normal lax unctor Cospan(D) D. We conclude with the dual (Corollary 5.6) classiication o oplax/lax adjunctions Span(D) D let adjoint is opnormal and restricts to the identity on D. 2 The Examples o Double Categories Following Paré [5, 12] and Shulman [13], we deine a double categoryd to be a weak internal category d 0 d 1 D 1 D0 D c D 1 D 1 D 0 in CAT. It consists o objects (those o D 0 ), two types o morphisms: horizontal (those o D 0 ) and vertical (objects o D 1 with domain and codomain given by d 0 and d 1 ), and cells (morphisms o D 1 ) denoted by m n 1 ϕ 1 1 Composition and identity morphisms are given horizontally in D 0 and vertically via c and, respectively. The objects, horizontal morphisms, and special cells (i.e., ones in which the vertical morphisms are identities) orm a 2-category called the horizontal 2-category o D. Since D is a weak internal category in CAT, the associativity and identity axioms or vertical morphisms hold merely up to coherent isomorphism, and so we get an analogous vertical bicategory. When these isomorphisms are identities, we say that D is a strict double category. The ollowing double categories are o interest in this paper. Example 2.1. Top has topological spaces as objects and continuous maps as horizontal morphisms. Vertical morphisms 0 are inite intersectionpreserving maps O( 0 ) O( ) on the open set lattices, and there is a cell o the orm ( ) i and only i 1 1 n m ( )

4 Example 2.2. Loc has locales as objects, locale morphisms (in the sense o [8]) as horizontal morphisms, and inite meet-preserving maps as vertical morphisms. There is a cell o the orm ( ) i and only i 1n m 0. Example 2.3. Topos has Grothendieck toposes as objects, geometric morphisms (in the sense o [9]) as horizontal morphisms, and natural transormations 1n m 0 as cells o the orm ( ). Example 2.4. Cat has small categories as objects and unctors as horizontal morphisms. Vertical morphisms m: 0 are prounctors (also known as distributors and relators), i.e., unctors m: op 0 Sets, and natural transormations m n( 0, 1 ) are cells o the orm ( ). Example 2.5. Pos has partially-ordered sets as objects and order-preserving maps as horizontal morphisms. Vertical morphisms m: 0 are order ideals m op 0, and there is a cell o the orm ( ) i and only i (x 0,x 1 ) m ( 0 (x 0 ), 1 (x 1 )) n. Example 2.6. For a category D with pullbacks, the span double category Span(D) has objects and horizontal morphisms in D, and vertical morphisms which are spans in D, with composition deined via pullback and the identities id : given by id id. The cells m n are commutative diagrams in D o the orm m n 0 m n 1 1 In particular, Span(Set) is the double category Set considered by Paré in [12], see also [1]. Example 2.7. Cospan(D) is deined dually, or a category D with pushouts. In particular, Span(Top) is the double category used by Grandis [3, 4] in his study o 2-dimensional topological quantum ield theory. Example 2.8. For a symmetric monoidal category V with coequalizers, the double category Mod(V) has commutative monoids in V as objects and monoid homomorphisms as horizontal morphisms. Vertical morphisms rom 4

5 0 to are ( 0, )-bimodules, with composition via tensor product, and cells are bimodule homomorphisms. Special cases include the double category Ring o commutative rings with identity and the double category Quant o commutative unital quantales. 3 Companions and Conjoints Recall [6] that companions and conjoints in a double category are deined as ollows. Suppose : is a horizontal morphism. A companion or is a vertical morphism : together with cells id id η ε id id whose horizontal and vertical compositions are identity cells. A conjoint or is a vertical morphism morphism : together with cells α id id id β id whose horizontal and vertical compositions are identity cells. We say D has companions and conjoints i every horizontal morphism has a companion and a conjoint. Such a double category is also known as a ramed bicategory [13]. I has a companion, then one can show that there is a bijection between cells o the ollowing orm m g ϕ h n g m ψ h n 5

6 Similarly, i has a conjoint, then there is a bijection between cells m g ϕ h n g m ψ h n There are two other cases o this process (called vertical lipping in [6]) which we do not recall here as they will not be used in the ollowing. All o the double categories mention in the previous section have well known companions and conjoints. In Top, Loc, and Topos, the companion and conjoint o are the usual maps denoted by and. ForCat, they are the prounctors deined by (x,y) = (x,y) and (y,x) = (y,x), and analogously, orpos. I V is a symmetric monoidal category and : is amonoidhomomorphism, then becomes an(,)-bimoduleanda(,)- bimodule via, and so is both a companion and conjoint or. Finally, or Span(D) (respectively, Cospan(D)) the companion and conjoint o are the span (respectively, cospan) with as one leg and the appropriate identity morphism as the other. 4 1-Tabulators and 1-Cotabulators Tabulators in double categories were deined as ollows in [5] (see also [12]). Suppose D is a double category and m: 0 is a vertical morphism in D. A tabulator o m is an object T together with a cell such that or any cell T 0 τ m 0 ϕ m 6

7 there exists a unique morphism : commutative tetrahedron o cells T such that τ = ϕ, and or any there is a unique cell ξ such that 0 n n 1 ξ T m 0 τ m gives the tetrahedron in the obvious way. Tabulators (and their duals cotabulators) arise in the next section, but we do not use the tetrahedron property in any o our proos or constructions. Thus, we drop this condition in avor o a weaker notion which we call a 1-tabulator (and dually, 1-cotabulator) o a vertical morphism. When the tetrahedron condition holds, we call these tabulators (respectively, cotabulators) strong. It is easy to show that the ollowing proposition gives an alternative deinition in terms o adjoint unctors. Proposition 4.1. A double category D has 1-tabulators (respectively, 1- cotabulators) i and only i :D 0 D 1 has a right (respectively, let) adjoint which we denote by Σ (respectively, Γ). Corollary 4.2. M od(v) does not have 1-tabulators. Proo. Suppose (V,,I) is a symmetric monoidal category. Then I is an initial object Mod(V) 0, which is the category o commutative monoids in V. Since I is not an initial object o Mod(V) 1, we know does not have a right adjoint, and so the result ollows rom Proposition 4.1. The eight examples under consideration have 1-cotabulators, and we know that 1-tabulatorsexist in all but one (namely,mod(v)). In act, we will prove a general proposition that gives the existence o 1-tabulators rom a property o 1-cotabulators (called 2-glueing in [11]) shared by Top, Loc, Topos, Cat, 7

8 and Pos. We will also show that the 1-cotabulators in Ring are not strong, and so consideration o only strong cotabulators would eliminate this example rom consideration. The cotabulator o m: 0 in Cat (and similarly, Pos), also known as the collage, is the the category over 2 whose ibers over 0 and 1 are 0 and, respectively, and morphism rom objects o 0 to those o are given by m: op 0 Sets, with the obvious cell m id. Cotabulators in Topos, Loc, and Top are constructed using Artin-Wraith glueing (see [9], [10], [11]). In particular, given m: 0 in Top, the points o Γm are given by the disjoint union o 0 and with U open in Γm i and only i U 0 is open in 0, U 1 is open in, and U 1 m(u 0 ), where U i = U i. c 0 For Cospan(D), the cotabulator o 0 c 1 1 is given by with cell (c 0,id,c 1 ). I D has pullbacks and pushouts, then the cotabulator o s 0 0 s 1 in Span(D) is the pushout o s 0 and s 1. The situation in Mod(V) is more complicated. Suppose M: 0, i.e., M is an ( 0, )-bimodule. Then M is an 0 -module, and so (with appropriate assumptions which apply to Ring and Quant), we can consider the symmetric 0 -algebra SM, and it is not diicult to show that the inclusion M SM deines a cell which gives SM the structure o a 1-cotabulator o M. However, as shown by the ollowing example, the tetrahedron condition need not hold in M od(v). Consider 0: together with S0 = and the unique homomorphism 0 in Mod(Ab) = Ring. Then, taking ι 1 (n) = (n,0) and ι 2 (n) = (0,n), the diagram 0 ι = 0 ι 2 deines a commutative tetrahedron which does not actor 0 ϕ 0 8

9 or any homomorphism ϕ:. Thus, the 1-cotabulators in Mod(V) need not be strong. To deine 2-glueing, suppose D has 1-cotabulators and a terminal object 1, and let 2 denote the image under Γ o the vertical identity morphism on 1, where Γ:D 1 D 0 is let adjoint to (see Proposition 4.1). Then Γ induces a unctor D 1 D 0 /2, which we also denote by Γ. I this unctor is an equivalence o categories, then we say D has 2-glueing. In Cat (and similarly, Pos), 2 is the category with two objects and one non-identity morphism. It is the Sierpinski space 2 in Top, the Sierpinski locale O(2) in Loc, and the Sierpinski topos S 2 in Topos. That Cat has 2- glueing is Bénabou s equivalence cited in [14]. For Top, Loc, and Topos, the equivalence ollows rom the glueing construction (see [9], [10], [11]). Note that in each o these cases, 2 is exponentiable in D 0 (see [7, 9]), and so the unctor 2 :D 0 D 0 /2 has a right adjoint, usually denoted by Π 2. Proposition 4.3. I D has 2-glueing and 2 is exponentiable in D 0, then D has 1-tabulators. 2 Proo. Consider the composite F:D 0 D 0 /2 D 1. Since it is not diiculty to show that Γ takes the vertical identity on to the projection 2 2, it ollows that F =, and so has a right adjoint Σ, since 2 does. Thus, D has 1-tabulators by Proposition 4.1. Applying Proposition 4.3, we see that Cat, Pos, Top, Loc, and Topos have 1-tabulators (which are can be shown to be strong). Unraveling the construction o Σ given in the proo above, one gets the ollowing descriptions o 1-tabulators in Cat and Top which can be shown to be strong. Given m: 0 in Cat (and similarly Pos), the tabulator is the category o elements o m, i.e., the objects o Σm are o the orm (x 0,x 1,α), where x 0 is an object o 0, x 1 is an object o, and α m(x 0,x 1 ). Morphisms rom (x 0,x 1,α) to (x 0,x 1,α ) in Σm are pairs (x 0 x 0,x 1 x 1) o morphisms, compatible with α and α. The tabulator o m: 0 in Top is the set Σm = {(x 0,x 1 ) U 0 O( 0 ),x 1 m(u 0 ) x 0 U 0 } 0 with the subspace topology. Note that one can directly see that this is the tabulator o m by showing that ( 0, 1 ): 0 actors through Σm i and only i 1 1 m

10 Although Span(D) and Cospan(D) do not have 2-glueing (since Γ(id 1 ) = 1), and so Proposition[11] does not apply, the construction o their tabulators is dual to that o their cotabulators. Finally, Ring and Quant do not have 1-tabulators, as they are special cases o Corollary The Adjunction Recall rom[5]thatalax unctorf:d Econsists ounctorsf i :D i E i, or i = 0,1, compatible with d 0 and d 1 ; together with identity and composition comparison cells ρ :id F F(id ) and ρ m,m :Fm Fm F(m m) or every object and every vertical composite m m o D, respectively; satisying naturality and coherence conditions. I ρ is an isomorphism, or all, we say that F is a normal lax unctor. An oplax unctor is deined dually with comparison cells in the opposite direction. An oplax/lax adjunction consists o an oplax unctor F:D E and a lax double unctor G:E D together with double cells η 0 0 GF 0 η m FGn ε n GF FG 1 1 m GFm η 1 ε 0 FG 0 0 satisying naturality and coherence conditions, as well as the usual adjunction identities (see [6]). Example 5.1. Suppose D is a double category with 1-cotabulators and D 0 has pushouts. Then, by Proposition 4.1, the unctor :D 0 D 1 has a let adjoint (denoted by Γ), and so there is an oplax unctor F:D Cospan(D 0 ) which is the identity on objects and horizontal morphisms, and deined on vertical morphisms and cells by m m 1 1 ε i 0 i ϕ 0 Γm i 1 Γm i n

11 where is induced by the universal property o the 1-cotabulator. The comparison cells F(id ) id F and F(m m) Fm Fm also arise via the universal property, with the latter given by the horizontal morphism Γ(m m) P corresponding to the diagram m m 0 id m ι m Γm P m ι m Γm 2 2 id 2 2 where P is a pushout and the large rectangle commutes. Dually, we get: Example 5.2. SupposeD is a double category with 1-tabulators andd 0 has pullbacks. Then there is a lax unctor F:D Span(D 0 ) which is the identity on objects and horizontal morphisms and takes m: 0 to the span 0 Σm, where Σ is the right adjoint to. Proposition 5.3. SupposeD is a double category andd 0 has pushouts. Then D has companionsand conjoints i and onlythe identity unctor ond 0 extends to a normal lax unctor G:Cospan(D 0 ) D. Proo. Suppose D has companions and conjoints. Then it is not diicult to show that there is a normal lax unctor G:Cospan(D 0 ) D which is the identity on objects and horizontal morphisms, and is deined on cells by 0 0 c 0 c 0 g c 1 1 c 1 1 g 0 g 1 1 g c ψ 0 0 c 0 g c 1 c ψ g 1 1 where ψ 0 and ψ 1 arise rom the commutativity o the squares in the cospan cell, and the deinitions o companion and conjoint. 11

12 Conversely, suppose there is a normal lax unctor G:Cospan(D 0 ) D which is the identity on objects and horizontal morphisms. Then the companion and conjoint o : are deined as ollows. Consider = G( id ): = G( id Applying G to the cospan diagrams ): id id id id id id id id id and composing with ρ and ρ 1, we get cells id id id id id id ρ G(id,,) id id G(,idy,id ) ρ 1 id id whichserveasη andε, respectively, making thecompaniono. Notethat the horizontal and vertical identities or η and ε ollow rom the normality and coherence axioms o G, respectively. Similarly, the cells α and β or arise rom the cospan diagrams id id id id id id id id id and it ollows that D has companions and conjoints. Corollary 5.4. SupposeD is a double category andd 0 has pullbacks. ThenD has companions and conjoints i and only the identity unctor on D 0 extends to an opnormal oplax unctor Span(D 0 ) D. Proo. Apply Proposition 5.3 to D op. 12

13 Theorem 5.5. The ollowing are equivalent or a double category D such that D 0 has pushouts: (a) there is an oplax/lax adjunctiond F Cospan(D 0) such that G is normal G and restricts to the identity on D 0 ; (b) D has companions, conjoints, and 1-cotabulators; (c) D has companions and conjoints, and the induced normal lax unctor G:Cospan(D 0 ) D has an oplax let adjoint; (d) D has companions, conjoints, and 1-cotabulators, and the induced oplax unctor F:D Cospan(D 0 ) is let adjoint to the induced normal lax unctor G:Cospan(D 0 ) D; (e) D has 1-cotabulators and the induced oplax unctor F:D Cospan(D 0 ) has a normal lax right adjoint. Proo. (a) (b) Given F G such that G is normal and restricts to the identity ond 0, we knowd has companions and conjoints by Proposition 5.3. To see that D has 1-cotabulators, by Proposition 4.1, it suices to show that :D 0 D 1 has a let adjoint. Since actors as D 0 Cospan(D 0 ) G 1 D 1, by normality o G, and both these unctors have let adjoints, the desired result ollows. (b) (c) Suppose D has companions, conjoints, and 1-cotabulators, and consider the induced unctor F:D Cospan(D 0 ). Given m: 0 and c 0 0 c 1 1, applying the deinition o 1-cotabulator, we know that every cell in Cospan(D 0 ) o the orm corresponds to a unique cell Γm m c 0 c ϕ c 1 1 c 0 c 1 id 13

14 and hence, a unique cell m ψ c 0 1 c by vertical lipping, and it ollows that F G. (c) (d) Suppose D has companions and conjoints, and the induced normal lax unctor G has an oplax let adjoint F. As in the proo o (a) (b), we know that D has 1-cotabulators, and so, it suices to show that F is the induced unctor. We know F takes m: 0 to a cospan o the orm c 0 0 Γm c 1 1, since F is the identity on objects and the let adjoint o c 0 :D 0 Cospan(D 0 ) takes 0 Γm c 1 1 to, and so the desired result easily ollows. (d) (e) is clear. (e) (a) Suppose D has 1-cotabulators and the induced oplax unctor F has a normal lax right adjoint G. Since F restricts to the identity on D 0, then so does G, and the proo is complete. Note that this proo shows that i there is an oplax/lax adjunction D F Cospan(D 0) G such that G is normal and restricts to the identity on D 0, then F is the induced by 1-cotabulators and G by companions and conjoints. Since the double categories in Examples all have companions, conjoints, and 1-cotabulators, it ollows that they each admits a unique (up to equivalence) oplax/lax adjunction o this orm and it is induced in this manner. Applying Theorem 5.5 to D op, we get: Corollary 5.6. The ollowing are equivalent or a double category D such that D 0 has pullbacks: (a) there is an oplax/lax adjunctionspan(d 0 ) G D such that G is opnormal F and restricts to the identity on D 0 ; 14

15 (b) D has companions, conjoints, and 1-tabulators; (c) D has companions and conjoints, and the induced opnormal oplax unctor G:Span(D 0 ) D has an lax right adjoint; (d) D has companions, conjoints, and 1-tabulators, and the induced lax unctor F:D Span(D 0 ) is right adjoint to the induced opnormal oplax unctor G:Span(D 0 ) D; (e) D has 1-tabulators and the induced lax unctor F:D Span(D 0 ) has a opnormal oplax let adjoint. As in the cospan case, i there is an oplax/lax adjunction Span(D 0 ) G F such that G is opnormal and restricts to the identity on D 0, then F is the induced by 1-tabulators and G is by companions and conjoints. Since the double categories in Examples (i.e., all by M od(v) ) have companions, conjoints, and 1-tabulators, it ollows they each admits is a unique (up to equivalence) oplax/lax adjunction o this orm, and it is induced by companions, conjoints, and 1-tabulators. D Reerences [1] R. J. MACG. Dawson, R. Paré, amd D. A. Pronk, The span construction, Theory Appl. Categ. 24 (2010), [2] Charles Ehresmann. Catégories structuées, Ann. Sci. E?cole Norm. Sup. 80 (1963) [3] M. Grandis, Higher cospans and weak cubical categories (Cospans in Algebraic Topology, I), Theory Appl. Categ. 18 (2007), [4] Marco Grandis, Collared cospans, cohomotopy and TQFT (Cospans in Algebraic Topology, II), Theory Appl. Categ. 18 (2007), [5] Marco Grandis and Robert Paré, Limits in double categories, Cahiers de Top. et Géom. Di. Catég. 40 (1999),

16 [6] Marco Grandis and Robert Paré, Adjoints or double categories, Cahiers de Top. et Géom. Di. Catég. 45 (2004), [7] J. M. E. Hyland, Function spaces in the category o locales, Springer Lecture Notes in Math. 871 (1981) [8] P. T. Johnstone, Stone Spaces, Cambridge University Press, [9] P. T. Johnstone, Topos Theory, Academic Press, [10] S. B. Nieield, Cartesian inclusions: locales and toposes, Comm. in Alg. 9(16) (1981), [11] S. B. Nieield, The glueing construction and double categories, to appear in J. Pure Appl. Algebra. [12] Robert Paré, oneda theory or double categories, Theory Appl. Categ. 25 (2011), [13] M. Shulman, Framed bicategories and monoidal ibrations, Theory Appl. Categ. 20 (2008), [14] R. Street, Powerul unctors, expository note: street/pow.un.pd (2001). 16