arxiv:math/ v1 [math.ct] 16 Jun 2006

Transcription

1 arxiv:math/ v1 [math.ct] 16 Jun 2006 Strict 2-toposes Mark Weber bstract. 2-cateorical eneralisation o the notion o elementary topos is provided, and some o the properties o the yoneda structure [SW78] it enerates are explored. Examples relevant to the lobular approach to hiher dimensional cateory theory are discussed. This paper also contains some expository material on the theory o ibrations internal to a initely complete 2- cateory [Str74b] and provides a sel-contained development o the necessary backround material on yoneda structures. 1. Introduction The idea o an internal cateory is due to Ehresmann [Ehr58]. This notion has experienced somewhat o a resurence in recent times because o developments in hiher cateory theory. For example in the work o Michael Batanin [Bat98b] [Bat98a] [Bat02] [Bat03] internal cateory theory is the backdrop or the theory o hiher operads. In the work o John Baez and his collaborators [BL04] [BC04] [BS05] we see internal cateories as undamental in the process o cateoriyin dierential eometry and aue theory with a view to applications in physics. This paper is about doin cateory theory internally with a particular ocus on the theory o colimits. It was motivated by the need to manipulate internal colimits more easily in order to push orward the theory o hiher operads. In [Web] the results and notions o the present paper are used to brin all the operad theory o [Bat98b] to the level o enerality o [Web05] so that the theory o hiher symmetric operads is acilitated. This will then be used in uture work on reconcilin the notions o hiher dimensional cateories in [BD98] and [Bat98b], and in an operadic exploration o the stabilisation hypothesis [BD95]. In the 1970 s internal colimits were understood rom a 2-cateorical perspective in the work o Ross Street and Bob Walters [SW78]. In this paper the concept o a yoneda structure on a 2-cateory was discovered; inspired larely by the work o Bill Lawvere on the oundational importance o the cateory o cateories [Law70]. Loical motivations notwithstandin, the perspective o this paper is that the point o havin a yoneda structure on a 2-cateory K, is that one can then say what it means or an object o K to be cocomplete in such a way that the theory o cocompleteness develops in K as in ordinary cateory theory. The resultin theory o Street and Walters clariies colimits in both enriched and internal cateory theory, and is surprisinly simple. 1

2 2 MRK WEBER In this paper we ocus attention on the yoneda structures that arise in internal cateory theory. These yoneda structures satisy some additional properties described in deinition(3.1). We recall the resultin theory o colimits that arises in this settin in section(3). The examples o interest or us involve a 2-cateory K equipped with an object Ω K which plays the role o an internal cateory o sets or K. In the paradimatic example we consider the cateory Set o small sets, another cateory SET o sets which contains the arrows o Set as an object, and CT as the 2-cateory o cateories internal to SET. For this example K is CT and Ω is Set. In hiher cateory theory one obtains another important example by takin K to be the 2- cateory o lobular cateories and Ω to be the lobular cateory o hiher spans o sets [Bat98b] [Str00]. Yoneda structures arise rom the settin alluded to in the previous pararaph because Ω satisies a property analoous to that enjoyed by the subobject classiier o an elementary topos. That this is so in the paradimatic example described above is an important observation o Bill Lawvere. 2-cateorical expression o this property is provided in the work o Ross Street by the notion o a brationalمح cosmos [Str74a] [Str80a]. The 2-toposes o this work are simply cosmoses whose underlyin 2-cateory is cartesian closed and comes equipped with a duality involution 1. This notion is isolated here because it is easier to exhibit examples o 2-toposes and to explore their properties. We exploit this to understand better some o the yoneda structures that arise. In particular, part o any yoneda structure is a preshea construction: an assinment o an object  or any admissible object K to be rearded as the object o presheaves on. The main results o this paper describe when the yoneda structures that arise rom 2-toposes have presheaves which are cocomplete. Our basic reerences or backround on 2-cateories is [KS74] and [Str80b]. nother important backround article is [Str74b] althouh eorts are made in this paper to keep the exposition relatively sel-contained. The 2-cateorical backround pertinent to this work is collected in section(2), and the deinition o a duality involution is provided in subsection(2.3). In section(4) the notion o 2-topos is deined and the basic examples are presented, and in section(5) the yoneda structure arisin rom a 2-topos is described. Not all 2-toposes ive yoneda structures with cocomplete presheaves as we see in example(6.4). Part o the axiomatics o a yoneda structure is a riht ideal o arrows called admissible maps. Section(6) also provides a basic result to help characterise the admissible maps in some o our examples. Section(7) develops the results on preshea cocompleteness. In section(8) we exhibit Ω as a cartesian closed object o K under some hypotheses on the 2-topos K (which include the cocompleteness o Ω). pplied to the lobular cateory o hiher spans, the results o this paper say that this lobular cateory is the small lobular colimit completion o 1, and that it is cartesian closed as a lobular cateory. In all the examples considered in this work K is a 2-cateory o cateories internal to some nice cateory, and so one miht wonder why bother with a 2- cateorical abstraction? One reason or this is that the theory just comes out easier when thins are expressed this way. Lax and pseudo pullbacks are very 1 Less eneral notions o 2-toposes were considered in [Pen74] and [Bou74], in which Ω is used to classiy cosieves (see example(4.3)) or a cartesian closed initely complete 2-cateory K.

3 STRICT 2-TOPOSES 3 useul thins. However the main reason is that it is 2-toposes toether with nice 2- monads on them which provide a conceptual basis or the theory o operads [Web], and many o these nice 2-monads do not arise rom nice monads on the cateories in which we internalise 2. This is especially so when one wishes to study weakly symmetric hiher dimensional monoidal cateories. Consistent with the notation or a yoneda structure, or a cateory C we denote by Ĉ the cateory o presheaves on C, that is the unctor cateory [Cop, Set]. When workin with presheaves we adopt the standard practises o writin C or the representable C(, C) Ĉ and o not dierentiatin between an element x X(C) and the correspondin map x : C X in Ĉ. We denote by CT(Ĉ) the unctor 2-cateory [C op, CT] which consists o unctors C op CT, natural transormations between them and modiications between those. We adopt the standard notations or the various duals o a 2-cateory K: K op is obtained rom K by reversin just the 1-cells, K co is obtained by reversin just the 2-cells, and K coop is obtained by reversin both the 1-cells and the 2-cells. The title o this paper is strict 2-toposes because the structure we consider on a 2-cateory is not invariant under biequivalence. The reason or this is that strict 2-cateorical limits (especially pullbacks) play a central role in this theory. So the 2-toposes o this work are dierent in spirit to the hiher toposes considered in homotopical alebraic eometry [TV05] which are a type o homotopy-invariant structure cateorical preliminaries 2.1. Finitely complete 2-cateories. Recall that a 2-cateory K is nitelyمح complete when it admits all limits weihted by 2-unctors I : J CT, in the sense o CT-enriched cateory theory [Kel82], such that the set o 2-cells o J and the sets o arrows o the I(j) or j J, are all inite. This means that or such I and T : J K there is an object lim(i, T) o K and isomorphisms o cateories K(X, lim(i, T)) = [J, CT](I, K(X, T)) 2-natural in X. From [Str76] one has the result that K is initely complete i it admits inite conical limits and cotensors with the ordinal 2. Slihtly less eiciently K is initely complete i it has a terminal object, pullbacks and lax pullbacks (also known as comma objects). Thus the discussion o initely complete 2-cateories diers rom the discussion o initely complete cateories only because or 2-cateories there are dierent types o pullback: one can consider the lax pullback, pseudo pullback or pullback o a pair o arrows and dependin on whether one is considerin squares P φ B C in K such that φ is a eneral 2-cell, invertible or an identity respectively. In addition to these variations one can also weaken the universal property and consider 2 The most basic example o this is the 2-monad on CT whose (strict) alebras are symmetric (strict) monoidal cateories.

4 4 MRK WEBER bicateorical limits [Str80b] but in this paper we shall only consider the stroner notion. Recall that the lax pullback o in a 2-cateory K consists o B C p P q λ B C in K universal in the ollowin sense: (1) iven X k C h φ B there is a unique δ : X / such that pδ = h, qδ = k and λδ = φ. (2) or δ 1 and δ 2 : X /, iven α : pδ 1 pδ 2 and γ : qδ 1 qδ 2 such that λδ 1 pδ 1 qδ 1 α = β pδ 2 λδ 2 qδ 2 there is a unique π : δ 1 δ 2 such that pπ = α and qπ = γ. It is standard notation when ixin a choice o lax pullback to write / in the place o P. The pseudo pullback / = in K is deined in the same way except that the 2-cells φ and λ in the above deinition are invertible, and the pullback as / = may be deined in the same way as above except that φ and λ are identities. Example 2.1. Given unctors B C one can deine the cateory / as ollows: and one has objects are triples (a, h : a c, c) where a, c C, and h B. an arrow (a, h, c) (a, h, c ) is a pair (α : a a, γ : c c ) such that h (α) = (γ)h. composition and identities induced rom the cateory structures o, B and C. / p q λ C B

5 STRICT 2-TOPOSES 5 where p(a, h, c) = a, q(a, h, c) = c and λ (a,h,c) = h, satisyin the universal property o a lax pullback. One obtains / = as the ull subcateory o / consistin o the (a, h, c) such that h is invertible, and / = as the ull subcateory o / consistin o the (a, h, c) such that h is an identity arrow. Conversely iven lax pullbacks in CT one can deine eneral lax pullbacks as ollows. square p P q λ C B in a 2-cateory K exhibits P as / i or all X K the unctor K(X, P) K(X, )/K(X, ) induced by K(X, λ) is an isomorphism o cateories. This is called the representable deinition o lax pullbacks in K. Similarly, pseudo pullbacks, pullbacks and indeed all 2-cateorical limits can be deined representably. Example 2.2. Let K be a 2-cateory and K. It is standard to denote by K/ the 2-cateory ormed as the lax pullback o K 1K K 1 in the 2-cateory o 2-cateories, 2-unctors and 2-natural transormations. Its explicit description is similar to its cateorical analoue in that the objects o K/ are arrows : X, and a morphism 1 2 is an arrow o K such that 2 = 1. However a 2-cell γ : 1 2 o K/ is a 2-cell γ : 1 2 o K such that 2 γ is an identity. Recall [CJ95] that the 2-unctor K/ K whose object map takes the domain o an arrow into, creates any connected limits that exist in K. When K is initely complete and : B in K, the processes o takin the pullback, pseudo pullback and lax pullback alon provide 2-unctors K/B K/. Example 2.3. Let C be a cateory. Then a lax pullback / o B C = β = α γ C in CT/C can be speciied as ollows: the domain cateory is the ull subcateory o / as deined in CT as in the previous example, consistin o the (a, h, c) such that β(h) is an identity; and the unctor into C sends such (a, h, c) to α(a) = γ(c) in C. Notice that while the domain 2-unctor CT/C CT preserves pullbacks, rom the description o lax pullbacks in CT/C iven here, it does not preserve lax pullbacks in eneral. Example 2.4. Let E be a cateory with pullbacks. Recall the 2-cateory Cat(E) o cateories internal to E. For Cat(E) it is standard to denote by s 0 i 1 t c 2

6 6 MRK WEBER the 2-truncated simplicial diaram determined by : 0 is the object o objects o, 1 the object o arrows, s the source or domain map, t the taret or codomain map, i the map that provides identity arrows, 2 the object o composable pairs in obtained by pullin back s alon t, and c the composition map. Usin pullbacks alone one can construct pullbacks, pseudo pullbacks and lax pullbacks in Cat(E). One can either do this directly, or by interprettin the explicit description o these constructions in CT in the internal lanuae o E (see [Joh02]). nice consequence o this is that or any pullback preservin unctor E E, the 2-unctor Cat(E) Cat(E ) it induces preserves pullbacks, pseudo pullbacks and lax pullbacks. Lax pullbacks satisy the same composition and cancellation properties as pullbacks do in ordinary cateory theory. That is, iven X v B Y = h u λ C D such that λ exhibits as /, then the composite square exhibits X as h/ i the ront square is a pullback. Similarly or pseudo pullbacks and pullbacks in any 2-cateory. So or example, one can use this observation to obtain all lax pullbacks rom pullbacks and lax pullbacks o identity arrows. We adopt some standard notational abuses with reards to identity arrows: /1 is written /, 1 / is written / and 1 /1 is written /. Some other notation: we shall denote a terminal object o K by 1 and or K the unique map 1 by t Fibrations. The concept o a ibration between cateories is due to Grothendieck [Gro70]. Fibrations can be deined internal to any initely complete 2-cateory K. In act there are two approaches: one can work 2-cateorically and ollow [Str74b], or one can reard K as a bicateory ollowin [Str80b]. For the case K = CT the 2-cateorical deinition o ibration coincides with that o Grothendieck [Gra66] whereas the bicateorical deinition o ibration is more eneral. In this paper we shall consider only the stroner notion. Let : B be a unctor. morphism α : a 1 a 2 in is -cartesian when or all α 1 and β as shown: a α 1 a 2 = β α 1 a 3 there is a unique γ : a 3 a 1 such that γ = β and αγ = α 1. The basic acts about -cartesian morphisms are: (1) i a 1 α 1 a 2 α 2 a 3 are in and α 2 is -cartesian, then α 1 is -cartesian i α 2 α 1 is -cartesian. (2) isomorphisms are -cartesian or any. (3) i α is -cartesian and α is an isomorphism then α is an isomorphism.

7 STRICT 2-TOPOSES 7 cartesian lit o the pair (β : b a, a) is an -cartesian morphism α : a 2 a such that α = β. Grothendieck deined to be a brationمح when every (β : b a, a) has a cartesian lit. Let K be a initely complete 2-cateory and : B be in K. 2-cell X a 1 α a 2 is -cartesian when or all : Y X in K, α K(Y, ) is K(Y, )-cartesian. One then deines to be a brationمح when or all X b a β B there exists -cartesian β : c a so that c = b and β = β. The ollowin well known result is undamental and easy to prove. Theorem 2.5. In any nitelyمح complete 2-cateory K: (1) The composite o brationsمح is a. brationمح (2) The pullback o a brationمح alon any map is a. brationمح It is natural to consider applyin the cartesian litin criterion o a ibration to the 2-cell rom a lax pullback involvin. When one does this, one is lead to theorem(2.7). Given : B and : X B in a initely complete 2-cateory K, we shall denote by i : / = / the map induced by the universal property o / and the identity cell o a deinin pullback square or / =. / = X id Lemma 2.6. Let K be a 2-cateory and i : X Y in K. Then to ive i r with invertible unit, it suices to ive ε : ir 1 Y such that rε and εi are invertible and 1 X =ri. Theorem 2.7. [Str74b] Let K be a nitelyمح complete 2-cateory and : B in K. Then the ollowin statements are equivalent: (1) is a. brationمح (2) For all : X B, the map i : / = / has a riht adjoint in K/X with invertible unit. (3) The map i : B/ has a riht adjoint in K/B with invertible unit. B

8 8 MRK WEBER Proo. (1) (2): pply the above deinition to φ = λ the deinin lax pullback or /, to obtain / p 1 q 1 λ X B = q 1 / λ r q 2 = / = p 1 X p 2 = B where λ is -cartesian, and so by the universal property o / we obtain ε : ir 1 such that p 1 ε = id and q 1 ε = λ. By lemma(2.6) it suices to show that εi and rε are invertible, and that ri =1 in K/X. Observe that qεi = λi is an -cartesian lit o an identity cell, and thus is invertible. Since pεi = id, the 2-cell εi is invertible by the universal property o /. So we have λi : q 2 ri =q 2 and p 2 ri = p 2, and by the above deinin diaram/equation o λ precomposed with i, toether with the universal property o / =, one obtains η : ri =1 such that pη = id. Finally to see that rε is invertible, by the universal property o / =, it suices to show that q 2 rε is invertible, since p 2 rε = p 1 ε = id. Note that q 2 rε = p 2 rε = p 1 ε = id, and so it suices to show that q 2 rε is -cartesian. For this we note that q 2 rir q 2rε q 2 r λi r q 1 ir q 1ε q 1 λ commutes, and that since λ = q 1 ε is -cartesian, q 2 rε is -cartesian also. (2) (3): just take = 1 B. (3) (1): By the universal property o B/ it suices to veriy the deinin property o a ibration as deined above or the case β = λ, the deinin lax pullback cell or B/. We have B/ r ε 1 B/ i p B 1 q λ B where ε is the counit or the adjunction i r in K/B. Since λi = id this composite evaluates to qε, and since pε = id this composite also evaluates to λ whence λ = qε. Thus it suices to show that qε is -cartesian. To this end let δ : s q and γ : s r such that δ = (qε)γ. nother way to express this last equation,

9 STRICT 2-TOPOSES 9 since λ = qε and λis = id, is that pis γ p λis qis commutes, and so by the universal property o B/, there is a unique β : is 1 such that pβ = γ and qβ = δ. Since ε exhibits r as a riht litin o 1 alon i (see example(2.17) below), there is a unique α such that s B/ β 1 i B/ = δ q λ α B/ r ε 1 i B/ Post composin this last equation with p ives γ = α, and post composin it with q ives δ = (qε)α. Conversely α is clearly the unique 2-cell satisyin these equations. unctor p : E B is an opمحbration when the unctor p op : E op B op is a ibration. These unctors were oriinally called coibrations by Grothendieck, and indeed they are ibrations in CT co, however beinnin with Gray [Gra66] the term opibration was used instead so as not to ive topoloists the wron idea: it is the ibrations in CT op which are more like what a topoloist would call a coibration, and both ibrations and opibrations with their litin properties which correspond intuitively to topoloists ibrations. Similarly one reers to opcartesian litins, deines opibrations in an arbitrary 2-cateory K as ibrations in K co, and interprets the above results in K co when workin with this dual notion. By the characterisation o ibrations iven in theorem(2.7)(3) and its dual one has the ollowin immediate corollary. Corollary 2.8. I a 2-unctor between nitelyمح complete 2-cateories preserves lax pullbacks, then it preserves brationsمح and opمحbrations. Example 2.9. In this example we revisit ibrations in CT rom the present eneral point o view and recall the Grothendieck construction or later use. To see that ibrations in CT are indeed Grothendieck ibrations let : B be a unctor. To ive a riht adjoint to i : B/ over B, one must ive or each pair (β : b a, a) an object r(β, a) in such that r(β, a) = b, and an arrow ε (β,a) : r(β, a) a such that ε β,a = β and so that the map (id, ε (β,a) ) : (id, r(β, a)) (β, a) in B/ has the universal property o the counit o an adjunction. This universal property amounts to ε (β,a) bein -cartesian. Thus a riht adjoint to i : B/ over B amounts to a choice o cartesian litins or. cleavae is the standard terminoloy or such a choice o cartesian litins, and a ibration toether with a cleavae is known as a cloven ibration. Given a pseudo unctor X : C op CT the Grothendieck construction produces an associated cloven ibration over C. Deine the cateory el(x) as ollows: s

10 10 MRK WEBER objects: are pairs (x, C) where C C and x X(C). an arrow (x 1, C 1 ) (x 2, C 2 ) is a pair (α, β) where β : C 1 C 2 in C and α : x 1 Xβ(x 2 ). compositions: ormed in the evident way usin the pseudo unctor coherence cells and composition in C. deine the unctor into C to be the obvious oretul unctor, and note that this unctor has an obvious cleavae. This construction provides a 2-equivalence Fib(C) Hom(C op, CT) 3. useul perspective on this last act is that the 2-unctor actors as el : CT(Ĉ) CT CT(Ĉ) CT/C CT where the irst 2-unctor is monadic and the second takes the domain o a unctor into C. The induced 2-monad on on CT/C has unctor part iven by takin lax pullbacks alon 1 C and the 2-cateory o pseudo alebras or this 2-monad is 2-equivalent to Fib(C). The eneral idea o seein ibrations as alebras o a 2- monad in this way was developed in [Str74b]. Note also that this actorisation o el implies that el preserves all connected conical limits [CJ95]. Example For a cateory C we shall now consider ibrations in CT/C. In example(2.3) we described explicitly the construction o lax pullbacks in CT/C. Thus one can unpack the deinition o ibration in CT/C in much the same way as we did or CT in the previous example. When one does this one inds that B = α β C is a ibration in CT/C i every (φ : b a, a) such that β(φ) = id has a cartesian lit. In this way the idea that be locally a ibration, or in other words a ibration on the ibres o β, is ormalised by sayin that is a ibration in CT/C. In particular notice that the condition that be a ibration over C is in eneral weaker than the condition that be a ibration, althouh they are equivalent when lives in Fib(C) [B 85] [Her99] as we shall now recall. For such an let φ : b a. To obtain a cartesian lit or φ one irst takes a cartesian lit φ 1 : a 1 a o β(φ). Since preserves cartesian arrows φ actors uniquely as b φ 2 a 1 φ 1 a where β(φ 2 ) = id. Since is a ibration in CT/C one can take a cartesian lit φ 3 o φ 2, and then the composite is a cartesian lit or φ. a 2 φ 3 a 1 φ 1 a 3 Hom(C op,ct) is the 2-cateory o pseudo unctors C op CT, pseudo natural tranormations between them, and modiications between those and Fib(C) is the sub-2-cateory o CT/C consistin o ibrations and unctors over C that preserve cartesian arrows.

11 STRICT 2-TOPOSES sided discrete ibrations and duality involutions. In this subsection K is a initely complete 2-cateory. We shall now recall the notion o 2-sided discrete ibration o [Str74b] and an associated yoneda lemma, and then deine a notion o duality involution or K. Recall irst the bicateory Span(K): objects: those o K. a morphism B in Span(K) is a triple (d, E, c) d c E B and is called a span rom to B. When the maps d and c are understood we may abuse notation a little and reer to the above span as E. a 2-cell between spans is a commutative diaram E d c B c d E Composition o 2-cells is just composition in K. composition o 1-cells is obtained by pullin back: the composite o (d 1, E 1, c 1 ) and (d 2, E 2, c 2 ) E p q E 1 E 2 d 1 c 2 c 1 d 2 B C is (d 1 p, E, c 2 q), and this composite may be denoted as E 2 E 1. Notice that the homs Span(K)(, B) bein isomorphic to the underlyin cateory o K/( B) are in act 2-cateories, and that pullback-composition is 2-unctorial. Given a map : B in K, we have spans (1,, ) and (,, 1 ) which we denote by and rev respectively. Note also that rev in Span(K) and that or any span (d, E, c) one has E = c rev d. span (d, E, c) rom to B in CT is a discrete brationمح rom to B when it satisies: (1) : a d(e),! in E with codomain e such that d() = and c() = 1 c(e). (2) : c(e) b,! in E with domain e such that d() = 1 d (e) and c() =. (3) h : e 1 e 2 in E, the composite d(h) c(h) is deined and equal to h. More enerally, a span (d, E, c) rom to B in K is a discrete brationمح rom to B when or all X K K(X,d) K(X, ) K(X, E) K(X,c) K(X, B)

12 12 MRK WEBER is a discrete ibration rom K(X, ) to K(X, B). We deine a cateory DFib(K)(, B) whose objects are discrete ibrations rom to B in K, and morphisms are morphisms o the underlyin spans 4. In particular a map p : E B is a discrete brationمح when the span p B E 1 is a discrete ibration, and a discrete opمحbration when the span is a discrete ibration. 1 E Theorem In a nitelyمح complete 2-cateory K: (1) Given a discrete brationمح E rom to B and a map : C, the span E is a discrete brationمح rom C to. (2) Given a discrete brationمح E rom to B and a map : D, the span rev E is a discrete brationمح rom to D. (3) I (d, E, c) is a discrete brationمح rom to B then d is a brationمح and c is an opمحbration. (4) I : C and : B C, then the span rom to B obtained rom the lax pullback / is a discrete brationمح rom to B. Proo. Because o the representability o the notions involved, to prove (1), (2) and (4) it suices to veriy each statement in the case K = CT, and in this case the direct veriications are straiht orward. s or (3) it suices to show that d is a ibration, because this result interpretted in K co says that c is an opibration. Consider p e E φ d X a B c and take ε : e 1 e to be the unique 2-cell such that dε = φ and cε = id. We will now show that ε is d-cartesian. Let z : Z X, : e 2 ez and : pe 2 az be such that p = (φz). We must produce δ : e 2 e 1 z unique such that dδ = and (εz)δ =. Since (d, E, c) is a discrete ibration we can actor uniquely as where e 2 1 e 3 2 ez d 1 = id c 1 = c d 2 = d c 2 = id and we can take h : e 4 e 1 z unique such that dh = and ch = id. Since d((εz)h) = (φz) = d and c((εz)h) = id, we have 2 = (εz)h and so e 3 = e 4. Thus we take δ to be the composite e 2 1 e 3 h e 1 z because dδ = (dh)(d 1 ) = and (εz)δ = (εz)h 1 = 2 1 =. To see that δ is unique, let δ : e 2 e 1 z be such that dδ = and (εz)δ =. Factor δ uniquely as e 2 δ 1 e 5 δ 2 e 1 z 4 2-cell between maps o discrete ibrations is necessarily an identity B

13 STRICT 2-TOPOSES 13 where dδ 1 = id cδ 1 = cδ dδ 2 = cδ 2 = id Then δ 1 is orced to be 1 since dδ 1 = id = d 1 and cδ 1 = cδ = c((εz)δ ) = c = c 1, and δ 2 is orced to be h since dδ 2 = = dh and cδ 2 = id = ch. In particular notice that by (3) discrete ibrations are ibrations and discrete opibrations are opibrations as one would hope. We now recall an analoue o the yoneda lemma or 2-sided discrete ibrations. Let : B be in K a initely complete 2-cateory. Denote by /B q B p λ B 1 B B/ p q λ B 1B B the deinin lax pullback squares or /B and B/, deine i : /B to be the unique map such that pi = 1, qi = and λi = id, and j : B/ to be the unique map such that p j =, q j = 1 and λ j = id. Theorem Let K be a nitelyمح complete 2-cateory and : B be in K. -مح (yoneda lemma): or any span (d 1, E 1, c 1 ) rom X to and discrete (1) bration (d 2, E 2, c 2 ) rom X to B, a map o spans /B E 1 E 2 is determined uniquely by its composite with i id : E 1 /B E 1 (2) (coyoneda lemma): or any span (d 1, E 1, c 1 ) rom to X and discrete brationمح (d 2, E 2, c 2 ) rom B to X, a map o spans E 1 B/ E 2 is determined uniquely by its composite with id j : E 1 rev E 1 B/ Proo. The coyoneda lemma is the yoneda lemma in K co, so it suices to prove the yoneda lemma. By the representability o the notions involved it suices to prove this result or the case K = CT. In this case the head o the span /B E 1 can be described as ollows: objects are 4-tuples (e, a, β : a b, b) where e E 1 and c 1 e = a. an arrow (ε, α, β) : (e 1, a 1, β 1, b 1 ) (e 2, a 2, β 2, b 2 ) consists o maps ε : e 1 e 2, α : a 1 a 2 and β : b 1 b 2, such that c 1 ε = α and ββ 1 = β 2 (α).

14 14 MRK WEBER and the let and riht les o the span send (ε, α, β) described above to d 1 ε and β respectively. The imae o i id is the ull subcateory iven by the (e, a, β, b) such that β = id. Let φ : /B E 1 E 2. For any object (e, a, β, b) we have a map (1, 1, β) : (e, a, id, a) (e, a, β, b) and since d 2 φ(1, 1, β) = id and c 2 φ(1, 1, β) = β, φ(e, a, β, b) and φ(1, 1, β) are deined as the unique riht lit o (φ(e, a, 1 a, a), β) since E 2 is a discrete ibration. For any arrow (ε, α, β) as above, we have a commutative square φ(e 1, a 1, id, a 1 ) φ(1,1,β1) φ(e 1, a 1, β 1, b 1 ) φ(ε,α,α) φ(ε,α,β) φ(e 2, a 2, id, a 2 ) φ(e 2, a 2, β 2, b 2 ) φ(1,1,β2) in E 2, but rom the proo o theorem(2.11) we know that φ(1, 1, β 1 ) is d 2 -opcartesian and so the rest o the above square is determined uniquely by φ(ε, α, α). The yoneda lemma o [Str74b] is theorem(2.12)(1) in the case where E 1 is the identity span. We use an analoue o this more eneral result in the proo o theorem(8.6). Corollary Let B h C be in K. Then composition with i K(/B, C)(p, hq) ( ) i K(, C)(, h) is a bijection with inverse iven by pastin with λ. Proo. 2-cells p hq are in bijection with span maps /B /h by the deinition o /h. By theorem(2.12) these are in bijection with span maps /h which by the deinition o /h are in bijection with 2-cells h. This composite bijection is clearly ( ) i. By the deinition o i the inverse o this bijection is iven by pastin with λ. In order to deine duality involutions we shall now return to our discussion o Span(K). The operation B d c E d c E B o reversin spans is part o an isomorphism o bicateories ( ) rev : Span(K) op Span(K) which is the identity on objects and provides isomorphisms o 2-cateories on the homs. Cartesian product on K extends to a tensor product on Span(K), and this is compatible with ( ) rev because the operation (p,q) B r E C p E (q,r) B C

15 STRICT 2-TOPOSES 15 provides the object part o isomorphisms o 2-cateories (1) Span(K)( B, C) = Span(K)(, B rev C) which are pseudo natural in, B and C 5. Notice that ( ) rev does not restrict to 2-sided discrete ibrations: or instance the map d in a discrete ibration (d, E, c) is a ibration althouh not in eneral an opibration. However rom theorem(2.11)(1)- (2) and usin the litin properties rom the deinition o 2-sided discrete ibration, one can veriy that the ormation o cateories o 2-sided discrete ibrations provides a pseudo unctor DFib(K)(, ) : K coop K op CT the pseudoness arisin because o span composition. Deinition Let K be a initely complete 2-cateory. duality involution or K consists o a 2-unctor ( ) : K co K such that (( ) ) = id and or all, B and C in K equivalences o cateories pseudo natural in, B and C. DFib(K)( B, C) DFib(K)(, B C) Example Let (d, E, c) be a discrete ibration rom to B in CT. Then or each a and b B one can deine E(a, b) = {e E : de = a and ce = b} which is contravariant in a and covariant in b and so deines a unctor op B SET. On the other hand iven P : op B SET one can deine a discrete ibration rom to B whose domain is the cateory objects: triples (a, e, b) where a, b B and e P(a, b). a morphism (a 1, e 1, b 1 ) (a 2, e 2, b 2 ) consists o α : a 2 a 1 and β : b 1 b 2 such that P(α, β)(e 1 ) = e 2. These constructions deine the object maps o equivalences o cateories DFib(CT)(, B) [ op B, SET] which are pseudo natural in and B. Usin these equivalences and the isomorphisms [( B) op C, SET] = [ op (B op C), SET] one can exhibit ( ) op as a duality involution or CT. Example Let E be a cateory with inite limits. Deine or Cat(E) by interchanin the source and taret maps. For, B Cat(E) there is a oretul unctor DFib(Cat(E))(, B) Span(E)( 0, B 0 ) which is monadic. The relevant monad on Span(E)( 0, B 0 ) is iven by span composition B reardin and B as monads in Span(E). One can veriy these acts directly in the case E=SET. Usin the internal lanuae o E (aain see [Joh02]) this veriication may in act be interpretted in E to ive a proo o the eneral result. See also [Str80a] or a derivation o these acts rom the viewpoint o more eneral 2-sided ibrations. From this monadicity and the description o the relevant monad, 5 It s the sense in which these isomorphisms are natural in B which neccessitates the ( ) rev here. The objects B and B rev are o course equal.

16 16 MRK WEBER the isomorphisms (1) above (in the case K=E) lit throuh the oretul unctors to provide equivalences o cateories DFib(Cat(E))( B, C) DFib(Cat(E))(, B C) pseudo natural in, B and C Let extensions and let litins. s we shall see later in this paper, to express the cocompleteness o an object o a initely complete 2-cateory K, one requires pointwise let extensions and let litins. We recall these notions in this subsection as well as some results about let extendin alon ully aithul maps and opibrations. 2-cell φ h C in a 2-cateory K exhibits h as a let extension o alon when k pastin with φ: κ : h k B B φ h κ C provides a bijection between 2-cells h k and 2-cells k. This let extension is preserved by j : C D when jφ exhibits jh as a let extension o j alon, and is absolute when it is preserved by all arrows out o C. The 2-cell φ exhibits as a let litin o alon h when k pastin with φ: κ : k B φ h C provides a bijection between 2-cells k and 2-cells hk. This let letin is respected by j : D when φj exhibits j as a let litin o j alon h and is absolute when it is respected by all arrows into C. Clearly a let extension in K is a let litin in K op. pplyin the above deinitions to the 2-cateory K co ives the notions o riht extension and riht litin. Some basic elementary acts reardin let extensions in K are: (1) I is an isomorphism and φ : y x then φ is a let extension alon i φ is an isomorphism. (2) I φ and φ are let extensions alon, and β is the unique 2-cell makin κ k k y φ x α β y φ x

17 STRICT 2-TOPOSES 17 commute; then i α is an isomorphism so is β. (3) I φ 1 is a let extension alon B C φ 1 φ 2 y z x D then φ 2 : y x is a let extension alon i the composite is a let extension alon. and applyin these observations to the various duals o K ives analoous statements or let litins, riht extensions and riht litins. Example The unit o an adjunction provides the most basic example o a let litin and let extension, and this expresses its universal nature 2-cateorically: let B η 1 u be a 2-cell in a 2-cateory K, then it is an elementary exercise to show that the ollowin are equivalent: (1) η is the unit o an adjunction u. (2) η exhibits u as a let extension o 1 alon and this let extension is preserved by. (3) η exhibits u as a let extension o 1 alon and this let extension is absolute. pplyin this observation in K op one obtains two urther equivalent conditions or η in terms o let litins, and considerin K co one obtains the correspondin conditions or the counit o an adjunction in terms o riht extensions and riht litins. In these terms it is easy to see that let adjoints preserve let extensions. For suppose that X h Y φ k exhibits k as a let extension o alon h. Then composition with η ives a bijection between 2-cells k r and 2-cells k ur since η is an absolute let litin. Since φ is a let extension pastin with it ives a bijection between such 2-cells and 2- cells urh. Pastin η ives a bijection between these and 2-cells rh. The composite bijection is composition with φ, and so φ is indeed a let extension. Example nother basic example o absolute let litins is provided by ully aithul maps. map : B in K is ully aithul when or all X K, K(X, ) is a ully aithul unctor. It is almost a tautoloy that is ully aithul

18 18 MRK WEBER i the identity cell 1 id B exhibits 1 as an absolute let litin o alon itsel. Example Let : B be an opibration and : C B in a initely complete 2-cateory K. In the proo o theorem(2.7) carried out in K co so that it applies to opibrations, we actored the lax pullback throuh the pullback / p 1 q 1 X λ B = q 1 / X = r q 2 λ / = p 1 p 2 = B to obtain the -opcartesian 2-cell λ. Since the unique η : 1 ir such that p 1 η = λ and q 1 η = id is the unit o an adjunction r i by the proo o theorem(2.7), η exhibits i as an absolute let extension alon r by the example(2.17). Thus λ exhibits p 2 as an absolute let extension o p 1 alon r. This is the key observation or theorem(2.22) below. s or the description o limits and colimits, the basic example is to take a unctor : B and then a let extension o alon t : 1 is a colimit or in B, and a riht extension o alon t is a limit or in B. In practise to compute a let extension o L o alon : C usin colimits in B, one has the amous ormula L(c) = colim( /c B ) due to Bill Lawvere. Diaramatically we have /c 1 p λ C φ L B in CT where λ is a lax pullback, φ exhibits L as a let extension, and Lawvere s ormula means that the composite 2-cell exhibits Lc as a let extension alon p. This basic example suests that the let extensions that arise in mathematical practise remain let extensions when pasted with lax pullbacks in this way. c

19 STRICT 2-TOPOSES 19 To this end a 2-cell C φ h B in a initely complete 2-cateory K is deined to be a pointwise let extension when or all c : X C, the composite /c p q λ X C φ h B exhibits hc as a let extension o p alon q. Such a φ is automatically a let extension [Str74b]: to see this apply the deinition with c = 1 C and use lemma(2.20) below. The remainder o this section is devoted to explainin how pointwise let extendin alon ully aithul maps and opibrations is well-behaved. We explained what it means or : B to be ully aithul in example(2.18). When K has inite limits one can orm H : / / as the unique map such that where p 2 H = p 1 q 2 H = q 1 λ 2 H = λ 1 / q1 λ 1 1 p 1 1 / p 2 c q 2 λ 2 B are lax pullbacks. Then is ully aithul i H is an isomorphism: this statemement is easily seen as true in the case K = CT by direct inspection, and the eneral case ollows by a representable arument. Lemma The bijection o corollary(2.13) sends 2-cells p hq which exhibit h as a let extension alon q, to 2-cells which exhibit h as a let extension alon. Proo. This bijection clearly respects composition with 2-cells h h. Proposition [Str74b] I B φ h C exhibits h as a pointwise let extension o alon and is ully aithul, then φ is invertible.

20 20 MRK WEBER Proo. Since H is invertible the composite / p 1 = = / H p 2 q 1 q 2 λ 2 B φ h C exhibits h as a let extension o p 1 alon q 1, and so by lemma(2.20) φ exhibits as a let extension alon 1, whence φ is an isomorphism. When takin a pointwise let extension alon an opibration, lax pullbacks may be replaced by pullbacks or the sake o computation. Theorem [Str74b] Let K be a nitelyمح complete 2-cateory and C φ h B be in K such that is an opمحbration. Then φ exhibits h as a pointwise let extension o alon i or all c : X C the 2-cell φp where p P q X C exhibits hc as a let extension o p alon q. Proo. For c : X C we have /c p 1 q 1 X λ C τ t B c = c q 1 /c X = r q λ P p 1 p = C φ h B by the actorisation o lax pullbacks described in example(2.19) where λ exhibits p as an absolute let extension o p 1 alon r. Thus λ exhibits p as a let extension o p 1 alon r. Thus by the elementary properties o let extensions, the composite o c

21 STRICT 2-TOPOSES 21 φ and λ exhibits hc as a let extension alon q 1 i φp exhibits hc as a let extension alon q. The next result expresses the consequence that pointwise let extensions are closed under the operation o pastin with lax pullback squares, and pointwise let extensions alon opibrations are in addition closed under pastin with pullback squares. Corollary [Str74b] Let K be a nitelyمح complete 2-cateory and C φ h B p P q λ X C be in K. Suppose that φ exhibits h as a pointwise let extension o alon. (1) I λ exhibits P as /c then the composite o λ and φ exhibits hc as a pointwise let extension alon q. (2) I λ exhibits P as the pullback o and c and is an opمحbration, then the composite o λ and φ exhibits hc as a pointwise let extension alon q. Proo. In both (1) and (2) note that q is an opibration. For (1): obtain q by irst lax pullin back alon 1 C, which is the ree opibration on, and then pullin back the result alon c, which is an opibration since opibrations are pullback stable. For (2): q is an opibration since opibrations are pullback stable. Thus both results ollow immediately rom the previous theorem and the basic properties o pullbacks and lax pullbacks. c 3. Yoneda Structures There are two main sources o examples o yoneda structures: (1) internal cateory theory; and (2) enriched cateory theory. Those that arise rom internal cateory theory are more nicely behaved. They satisy a urther axiom, axiom(3*) o [SW78], and the let extensions that orm part o the axiomatics are all pointwise in the sense discussed above. We restrict our attention to this special case in the ollowin deinition, and later isolate a urther condition cocompleteness o presheaves. Deinition 3.1. ood yoneda structure on a initely complete 2-cateory K consists o (1) riht ideal o 1-cells called admissible maps. (2) n object o K is admissible when 1 is so. 6 For each such object, an object  and an admissible map is provided. y :  6 Notice that i B is admissible and : B, then is admissible since the locally small maps orm a riht ideal and o course = 1 B.

22 22 MRK WEBER (3) For each : B with both and admissible, an arrow B(, 1) and a 2-cell is provided. B χ y B(,1)  This data must satisy the ollowin axioms: (1) χ exhibits as an absolute let litin o y throuh B(, 1). (2) I and : B are admissible and B, φ y  exhibits as an absolute let litin o y alon, then φ exhibits as a pointwise let extension o y alon. yoneda structure in the sense o [SW78] is deined as above except: one replaces axiom(2) by an axiom which asserts only that χ is a let extension alon, and proposition(3.4) below is taken as an axiom. Moreover in [SW78] the hypothesis that K have inite limits is not needed. Lemma 3.2. Let,,, φ be iven as in axiom(2). I φ exhibits as a let extension o y alon ; then this let extension is pointwise and φ exhibits as an absolute let litin o y alon. Proo. Suppose that φ is a let extension. Then since is admissible there is an isomorphism B(, 1) = whose composite with χ is φ, whence φ is an absolute let litin since χ is. Moreover φ is a pointwise let extension since χ is. Example 3.3. We shall see later in example(6.2), that CT has the ollowin ood yoneda structure, which is the basic example. unctor : B is admissible when a, b, the homset B(a, b) is small. dmissible objects are locally small cateories. For such a cateory,  = [op, Set] and y is the yoneda embeddin. For a unctor : B such that and are admissible, B(, 1)(b)(a) = B(a, b) and (χ ) a : (, a) B(, a) is iven by the arrow maps o. Inspired by this example one should reard the 2-cell χ as the arrow maps o and indeed the notation is selected to encourae this idea. Given : B with and admissible and x : X B we denote by B(, x) the composite B(, 1)x. When in addition B is admissible, denote by res the map Â(y B, 1). Given z : Z with Z admissible the ollowin proposition justiies denotin the composite res z B(, 1) as B(z, 1). In act the next two results enorce these hom-set interpretations. Proposition 3.4. [SW78]

23 STRICT 2-TOPOSES 23 (1) I is admissible then y  y id 1  exhibits 1 as a let extension o y alon y. (2) Let B C where, B, and are admissible, then the composite B y  χ y res C χ y B(,1) B exhibits res B(, 1) as a let extension o y alon. Proo. Trivially, the identity 2-cell in (1) exhibits y as an absolute let litin o y alon 1Â. By the composability o let litins, the composite 2-cell in (2) exhibits as an absolute let litin o y. The result ollows rom axiom(2). Corollary 3.5. [SW78] (1) I is admissible then y is ully aithul. (2) For : B with and admissible, is ully aithul i χ is an isomorphism. Proo. (1): The identity cell 1 id y y  is trivially a let extension and thus an absolute let litin by lemma(3.2). The result ollows by example(2.18). (2)( ): by proposition(2.21). (2)( ): Since χ is an isomorphism and y is ully aithul, χ exhibits 1 as an absolute let litin o y alon B(, ). Thus in the ollowin diaram 1 id y  χ B B(,1) id exhibits 1 as an absolute let litin alon itsel, and so the result ollows by example(2.18).

24 24 MRK WEBER The notation res is also meant to be evocative: in the case o example(3.3) res corresponds to restriction alon (that is, precomposition with) op. So one is immediately lead to ask when res has let and riht adjoints. The case o the riht adjoints is the easiest and we shall describe this now. The treatment o the let adjoints is provided in theorem(3.17) at the end o this section. Deinition 3.6. n object C o K is small when both C and Ĉ are admissible. Given : B with small and B admissible one can orm Â(B(, 1), 1) which we shall denote by ran. Let η be the unique 2-cell such that y res B B Â 1 y B id η ran = χ resy B Then η exhibits ran as a let extension alon res. Now observe that the composite y res B B Â χ 1 y y B ran y id η Â B res exhibits res ran as a let extension by proposition(3.4), and so the let extension η is preserved by res. We have proved: Proposition 3.7. [SW78] Given : B with small and B admissible, res has riht adjoint ran. The remainder o this subsection is devoted to the discussion o internal colimits. First we shall ive the abstract deinitions o colimits and cocompleteness. In preparation or this consider with C,, admissible, denote by χ C B the unique 2-cell such that C B χ χ y C B(,1) = χ Ĉ and note that χ exhibits B(, 1) as a let extension o (, 1) alon. Deinition 3.8. [SW78] Let K have a ood yoneda structure. (1) Consider i : M Ĉ and : C with M and admissible, and C small. colimit o weihted by i consists o an admissible map col(i, ) : M toether with col(i,) M η i (,1) Ĉ which exhibits col(i, ) as an absolute let litin o i throuh (, 1).

25 STRICT 2-TOPOSES 25 (2) col(i, ) is preserved by an admissible map : B when the composite 2-cell M col(i,) B η χ i B(,1) Ĉ exhibits (col(i, )) as the absolute let litin o i alon B(, 1). (3) is small cocomplete when col(i, ) exists or all i : M Ĉ and : C with M and admissible and C small. (4) : B is cocontinuous when or all i : M Ĉ and : C such that col(i, ) exists, col(i, ) is preserved by. t irst lance the above deinition may seem very abstract so we shall now reconcile it with the correspondin amiliar notions. The key procedure that enables one to do this is a bijection between 2-cells φ and φ so that (2) y  φ B χ C C(,1) h = y  B χ B(,1) φ C(,1) where, and are assumed admissible. Equation(2) does indeed establish a bijection φ φ because χ is a let extension and χ is a let litin. Lemma 3.9. (1) φ exhibits h as a let extension o alon i φ exhibits h as a let litin o B(, 1) alon C(, 1). (2) φ exhibits h as a pointwise let extension o alon i φ exhibits h as an absolute let litin o B(, 1) alon C(, 1). (3) φ exhibits as an absolute let litin o alon h i φ is an isomorphism. C h Proo. (1): the result ollows since the bijection φ φ respects composition with 2-cells h k. (2): For any b : X B we have /b p X X /b p X X p λ b p λ b y  B χ C C(,1) φ h = y  B χ B(,1) φ C(,1) C h

26 26 MRK WEBER Now φ is an absolute let litin alon C(, 1) i or all b and c : X C, pastin with φ ives a bijection K(X, C)(bh, c) = K(X, Â)(B(, b), C(, c)). However the composite o χ and λ is a let extension alon p X, so this is the same as sayin that pastin with the composite 2-cell (on either side o the above equation) ives a bijection K(X, C)(bh, c) = K(/b, Â)(y p, C(, cp X )) or all b and c. However χ is an absolute let litin alon B(, 1), so this is the same as sayin that pastin with the composite o φ and λ ives a bijection K(X, C)(bh, c) = K(X, Â)(p, cp X ) or all b and c, and this is by deinition the statement that φ is a pointwise let extension. (3): φ is an absolute let litin i composite 2-cell in equation(2) exhibits as an absolute let litin o alon C(, h), which by axiom(2) and lemma(3.2) is true i this composite exhibits C(, h) as a let extension o y alon, which is true i φ is an isomorphism. rmed with this procedure we can now reconcile deinition(3.8) with the usual notion o weihted colimit in terms o the hom-set notation. Corollary Consider i : M Ĉ and : C with M and admissible, and C small. Then the colimit o weihted by i exists i there is an admissible map col(i, ) : M toether with an isomorphism (col(i, ), 1) = Ĉ(i, C(, 1)). Proo. By lemma(3.9)(3) the isomorphism is iven by η where η is the deinin 2-cell o the weihted colimit. In the usual theory o weihted colimits one can express pointwise let extensions as weihted colimits in a canonical way. This act is immediate in the present settin. Corollary Let C B φ h such that C is small and B,, h are admissible. Then φ exhibits h as a pointwise let extension o alon i the colimit o weihted by B(, 1) exists and there is an isomorphism h = col(b(, 1), ). Proo. By lemma(3.9)(2)-(3), the isomorphism is iven by φ. Example nother basic act about colimits in ordinary cateory theory is that every preshea is a colimit o representables. To appreciate the eneral analoue o this consider i : M Ĉ where C is admissible. Then by proposition(3.4)(1) the lax pullback square y C /i p q M C y C Ĉ exhibits i as a pointwise let extension. The well known case o this is or the yoneda structure o example(3.3) with M = 1 and C small. λ i

27 STRICT 2-TOPOSES 27 nother eature o the theory o colimits or CT is that weihted colimits may be replaced by the more commonly used conical ones. This too has an analoue in a ood yoneda structure in corollary(3.14) below. Consider i : M Ĉ and : C with M and admissible, and C small. Since λ o the previous example is a let extension and χ a let litin, the equations y C /i q M k y C /i p λ i η = C (,1) C χ y C Ĉ y C (,1) C determine a bijection between 2-cells η and 2-cells η. Lemma (1) η exhibits k as a let litin o i alon (, 1) i η exhibits k as a let extension o p alon q. (2) η exhibits k as an absolute let litin o i alon (, 1) i η exhibits k as a pointwise let extension o p alon q. Proo. (1): the bijection η η clearly respects composition with 2-cells k k. (2): since q is an opibration, η is a pointwise let extension i or every x : X M the composite q x y C /ix X p x p y C /i q M p C η exhibits kx as a let extension alon q x by theorem(2.22), which is equivalent by (1) to ηx exhibitin kx as a let litin alon (, 1). n immediate consequence o lemma(3.13)(2) is: Corollary Let K be a nitelyمح complete 2-cateory equipped with a ood yoneda structure. Let i : M Ĉ : C be in K where C is small and M and are admissible. Then the colimit o weihted by i exists i there is k admissible and y C /i p C q φ (where p and q come rom a lax pullback square deمحnin y C /i) such that φ exhibits k as a pointwise let extension o p alon q. When this is the case k = col(i, ). M k x k q η M k