Todd Trimble Epistemologies

Contents

Background

Prior to and during my first few years of graduate work, I had the conceit that perhaps one could do enriched category theory in a way completely free of the “size issues” that beset ordinary and enriched category theory. The dream was of a paradise in which one could freely take functor categories without fear, where adjoint functor theorems exist without worrying about solution set technicalities, and where enriched category theory could operate autonomously from set theory, in very pure and algebraic fashion.

Ah, youth! In the beginning, I had in mind a world EE (called an “epistemology”1) that would be like VV-CatCat but was symmetric monoidal closed, where the guiding assumption was that EE carried a free cocompletion monad taking an object CC to VV-valued presheaves on CC for some distinguished object VV. So EE was assumed to have an involution () op(-)^{op} operating on it, and there was a monad p:EEp: E \to E of Kock-Zöberlein type, taking CC to V C opV^{C^{op}}, and satisfying some axioms to the effect that pp-algebras would behave like VV-total categories. The ensuing theory involved lots of adjoint strings and plenty of stacked exponentials, and I have to admit that the original axioms were somewhat clumsy to begin with (quite aside from their being attached to a certain “ideology” and also certain foundational pretensions). However, it was my first serious attempt at doing mathematical research, and it was all my own, and I was in love with the subject and thought it beautiful2.

Quite a long time later, sometime during 1999 after I had been working with cartesian bicategories for awhile, it dawned on me that the basic axiomatics of epistemologies could be made much prettier by starting not with something that behaved like a paradise form of VV-CatCat, but like a paradise form of VV-ModMod, with the subbicategory of “maps” or left adjoints serving as a proxy for VV-CatCat3. (And it was later still that I understood that the crucial concept of “potency”, explained below, could be developed just as well from the VV-CatCat side, essentially by working with yoneda structures in the sense of Street and Walters in which every 1-cell is admissible.)

In any event, this page is will present some basic epistemology theory from the VV-ModMod point of view, which I continue to find quite pretty.

The key unresolved issue is in the nature of models, which even after all this time I don’t have much understanding of. A good analogy is to the early days of λ\lambda-calculus, where the theory had been developed very well on the syntactic side, but not on the semantic side before Scott and his models. (Here the situation is even more difficult and intricate, and I always have this slightly edgy feeling of skirting close to a razor’s edge of algorithmic inconsistency whenever I think about epistemologies, a feeling that is exciting and uncomfortable at the same time.) My hope is that even if natural models are hard to come by, maybe one can establish algorithmic consistency, by appealing to theorems of Church-Rosser and strong normalization type. With any luck, I’ll write down some ideas I’ve had on this.

Fx Ff Fy θx θf θy Gx Gf Gy\array{ F x & \overset{F f}{\to} & F y \\ _\mathllap{\theta x} \downarrow & \swArrow \theta \cdot f & \downarrow _\mathrlap{\theta y} \\ G x & \underset{G f}{\to} & G y }

(opposite to Bénabou’s convention).

Potency

Definition

Recall the following definition:

Definition

Given bicategories B\mathbf{B}, C\mathbf{C}, a biadjunction FG:BCF \dashv G: \mathbf{B} \to \mathbf{C} consists of homomorphisms (strong functors) F:CBF: \mathbf{C} \to \mathbf{B}, G:BCG: \mathbf{B} \to \mathbf{C} together with a strong (i.e., pseudo-) natural adjoint equivalence of the form

B(Fc,b)C(c,Gb)\mathbf{B}(F c, b) \simeq \mathbf{C}(c, G b)

between CatCat-valued homs.

In elementary terms, the data of the strongly natural adjoint equivalence is given by strong transformations η:1 CGF\eta: 1_\mathbf{C} \to G F, ε:FG1 B\varepsilon: F G \to 1_\mathbf{B} and invertible modifications s,ts, t,

G ηG GFG F Fη FGF 1 G s Gε 1 F t εF G F \array{ G & \overset{\eta G}{\to} & G F G & & & & F & \overset{F \eta}{\to} & F G F \\ & _\mathllap{1_G} \searrow ^{\overset{\swArrow \mathrlap{s}}{}} & \downarrow _{\mathrlap{G \varepsilon}} & & & & & _\mathllap{1_F} \searrow ^{\overset{\neArrow \mathrlap{t}}{}} & \downarrow _\mathrlap{\varepsilon F} \\ & & G & & & & & & F & }

that satisfy the triangulator coherence conditions (swallowtail coherence conditions in the language of Baez-Langford):

1 C η GF 1 GF GF 1 C η GF 1 GF GF η ηη ηGF (sF) 1 GεF = η = GFη Gt GεF GF GFη GFGF GF GFη GFGF, \array{ 1_\mathbf{C} & \overset{\eta}{\to} & G F & & \overset{\; \; \; \; 1_{G F}\; \; \; \; }{\to} & & G F & & 1_\mathbf{C} & \overset{\eta}{\to} & G F & & \overset{\; \; \; \; 1_{G F}\; \; \; \; }{\to} & & G F\\ & _\mathllap{\eta} \searrow & _{\swArrow \mathrlap{\eta\eta}} & \searrow _\mathrlap{\eta G F} & \Downarrow _\mathrlap{(s F)^{-1}} & \nearrow _\mathrlap{G \varepsilon F} & & = & & _\mathllap{\eta} \searrow & = & \searrow _\mathrlap{G F \eta} & \Downarrow _\mathrlap{G t} & \nearrow _\mathrlap{G \varepsilon F} \\ & & G F & \underset{G F \eta}{\to} & G F G F & & & & & & G F & \underset{G F \eta}{\to} & G F G F, & }

\,

FG 1 FG FG ε 1 B FG 1 FG FG ε 1 B FηG (Fs) 1 FGε εε ε = FηG tG εFG = ε FGFG εFG FG FGFG εFG FG. \array{ F G & & \overset{\; \; \; \; 1_{F G}\; \; \; \; }{\to} & & F G & \overset{\varepsilon}{\to} & 1_{\mathbf{B}} & & F G & & \overset{\; \; \; \; 1_{F G}\; \; \; \; }{\to} & & F G & \overset{\varepsilon}{\to} & 1_\mathbf{B}\\ & _\mathllap{F \eta G} \searrow & \Downarrow \mathrlap{(F s)^{-1}} & \nearrow _\mathrlap{F G \varepsilon} & \seArrow \mathrlap{\varepsilon \varepsilon} & \nearrow _\mathrlap{\varepsilon} & & = & & _\mathllap{F \eta G} \searrow & \Downarrow \mathrlap{t G} & \nearrow _\mathrlap{\varepsilon F G} & = & \nearrow _\mathrlap{\varepsilon} & \\ & & F G F G & \underset{\varepsilon F G}{\to} & F G & & & & & & F G F G & \underset{\varepsilon F G}{\to} & F G. & }
Lemma

Let FGF \dashv G be a biadjunction, with unit η\eta and counit ε\varepsilon and triangulators ss, tt as above. The following conditions are equivalent:

  1. The triangulator t:1 F(εF)(Fη)t: 1_F \to (\varepsilon F)(F \eta) is the unit of an adjunction FηεFF\eta \dashv \varepsilon F;

  2. The triangulator s:(Gε)(ηG)1 Gs: (G \varepsilon)(\eta G) \to 1_G is the counit of an adjunction GεηGG \varepsilon \dashv \eta G.

Proof

We prove that 1. implies 2.; the proof that 2. implies 1. is dual. Let v:FηεF1 FGFv: F\eta \circ \varepsilon F \to 1_{F G F} be the counit of FηεFF\eta \dashv \varepsilon F. We have a 2-cell

1 GFG(GFGε)(ηGFG)1_{G F G} \to (G F G \varepsilon) \circ (\eta G F G)

defined by a pasting

GFGFG 1 GFGFG ηGFG GεFG GvG GFηG GFGε GFG 1 GFG 1 GFG\array{ & & G F G F G & & \stackrel{\; \; \; \; 1\; \; \; \; }{\to} & & G F G F G & & \\ & _\mathllap{\eta G F G} \nearrow & \cong & _\mathllap{G \varepsilon F G} \searrow & \Uparrow G v G & \nearrow _\mathrlap{G F \eta G} & \cong & \searrow _\mathrlap{G F G \varepsilon} \\ G F G & & \underset{\; \; \; \; 1\; \; \; \; }{\to} & & G F G & & \underset{\; \; \; \; 1\; \; \; \; }{\to} & & & G F G }

(where the unlabeled 2-cells are obvious whiskerings of s 1s^{-1}), and we compose this 2-cell with a strong naturality constraint

GFG Gε G ηGFG ηG GFGFG GFGε GFG\array{ G F G & \stackrel{G \varepsilon}{\to} & G \\ _\mathllap{\eta G F G} \downarrow & \neArrow & \downarrow _\mathrlap{\eta G} \\ G F G F G & \underset{G F G \varepsilon}{\to} & G F G }

to arrive at a 2-cell u:1 GFG(ηG)(Gε)u: 1_{G F G} \to (\eta G) \circ (G \varepsilon). It is straightforward to prove that uu and ss form the unit and counit of an adjunction GεηGG \varepsilon \dashv \eta G, given that tt and vv are the unit and counit of FηεFF \eta \dashv \varepsilon F.

Definition

A biadjunction is KZ (Kock-Zöberlein) if either of the two conditions of lemma 1 hold.

For B\mathbf{B} a bicategory, Map(B)Map(\mathbf{B}) denotes the locally full subbicategory whose 1-cells are precisely the 1-cells that are left adjoints in B\mathbf{B} (which we will call maps). If B\mathbf{B} is the bicategory of relations in a regular category, then Map(B)Map(\mathbf{B}) reproduces the original category. In general, we will think of the B\mathbf{B} of interest to us as like bicategories of generalized relations (relations, spans, profunctors, etc.), and Map(B)Map(\mathbf{B}) will then be like a category whose morphisms are functions or functors.

Here is our fundamental notion.

Definition

A bicategory B\mathbf{B} is potent if the inclusion i:Map(B)Bi: Map(\mathbf{B}) \to \mathbf{B} is the left biadjoint of a KZ biadjunction ip:BMap(B)i \dashv p: \mathbf{B} \to Map(\mathbf{B}).

Basic consequences of potency

The right adjoint of a map f:ABf: A \to B is denoted f *:BAf^*: B \to A.

Given an arrow r:ABr: A \to B in a potent bicategory, let χ r:Ap(B)\chi_r: A \to p(B) denote the characteristic map of rr, defined by the formula χ r=p(r)yA\chi_r = p(r) y A. We have

reBχ rr \cong e B \circ \chi_r

where e:ip1 Be: i p \to 1_\mathbf{B} is the counit of the biadjunction ipi \dashv p. We note that the unit is not only a strong transformation on Map(B)Map(\mathbf{B}), but can be viewed also as a lax (map-valued) transformation y:1ipy: 1 \to i p on B\mathbf{B}, with structure 2-cells of the form

yr:yBrp(r)yA=χ r,y \cdot r: y B \circ r \to p(r) \circ y A = \chi_r,

mated to the isomorphism reBχ rr \cong e B \circ \chi_r.

We also have that the right adjoint of

p(r)peAp(χ r)p(r) \cong p e A \circ p(\chi_r)

is p(χ r *)ypAp(\chi_{r}^*) \circ y p A, since peypp e \dashv y p by the KZ biadjunction. In other words,

p(r)χ χ r *p(r) \dashv \chi_{\chi_{r}^*}

where the right adjoint is manifestly a map.

Proposition

Right Kan lifts exist in a potent bicategory.

Proof

Let r:ACr: A \to C and s:BCs: B \to C be arrows in a potent bicategory. The right Kan lift of rr through ss is constructed as the composite

Aχ rpCχ s *B.A \stackrel{\chi_r}{\to} p C \stackrel{\chi_{s}^*}{\to} B.

Indeed, for any t:ABt: A \to B, we have natural bijections

str̲ B(A,C) χ stχ r̲ Map(B)(A,pC) p(s)χ tχ r̲ Map(B)(A,pC) χ tχ χ s *χ r̲ Map(B)(A,pB) tχ s *χ r B(A,B)\array{ \underline{s t \to r} & \mathbf{B}(A, C) \\ \underline{\chi_{s t} \to \chi_r} & Map(\mathbf{B})(A, p C) \\ \underline{p(s) \chi_t \to \chi_r} & Map(\mathbf{B})(A, p C) \\ \underline{\chi_t \to \chi_{\chi_{s}^*} \chi_r} & Map(\mathbf{B})(A, p B) \\ t \to \chi_{s}^* \chi_r & \mathbf{B}(A, B) }

where χ stp(s)χ t\chi_{s t} \cong p(s)\chi_t is clear from how characteristic maps were defined, and we get to the fourth line by applying the adjunction p(s)χ χ s *p(s) \dashv \chi_{\chi_{s}^*}. The passage to the final line is effected by the application eb:Map(B)(a,pb)B(a,b)e b: Map(\mathbf{B})(a, p b) \to \mathbf{B}(a, b).

Epistemologies

Now let B\mathbf{B} be a symmetric monoidal bicategory, with tensor \otimes and unit 11. We say that B\mathbf{B} is compact closed if for every object BB there is an object B *B^* together with a unit and counit

η:1B *Bε:BB *1\eta: 1 \to B^* \otimes B \qquad \varepsilon: B \otimes B^* \to 1

and triangulators

BB *B B *BB * Bη s εB ηB * t B*ε B 1 B B B * 1 B * B *\array{ & B \otimes B^* \otimes B & & & & & & B^* \otimes B \otimes B^* & \\ B \otimes \eta \nearrow & \Uparrow s & \searrow \varepsilon \otimes B & & & & \eta \otimes B^* \nearrow & \Downarrow t & \searrow B* \otimes \varepsilon \\ B & \underset{\; \; \; \; 1_B\; \; \; \; }{\to} & B & & & & B^* & \underset{\; \; \; \; 1_{B^*}\; \; \; \; }{\to} & B^* }

which exhibit B *B^* \otimes - as right biadjoint to BB \otimes -. Since B\mathbf{B} is symmetric monoidal, we can exhibit BB \otimes - also as right adjoint to B *B^* \otimes -.

Definition

An epistemology is a potent compact closed bicategory B\mathbf{B}.

As we calculate with epistemologies, we will suppose given a specified biadjunction structure ipi \dashv p attached to the inclusion i:Map(B)Bi: Map(\mathbf{B}) \to \mathbf{B}.

The object p1p 1 in an epistemology plays a distinguished role in the theory; we denote it VV. It should be thought of as an object of generalized truth values (akin to Ω=p(1)\Omega = p(1) in a topos) or as a base of enrichment, so that B\mathbf{B} behaves something like VV-ModMod and Map(B)Map(\mathbf{B}) behaves something like VV-CatCat.

The notion of epistemology encapsulates an idealized world of enriched category theory in which we can in particular iterate the VV-valued presheaf construction as VV-enriched free cocompletion.

Proposition

In an epistemology, there is an equivalence p(BC)(pC) B *p(B \otimes C) \simeq (p C)^{B^*} in Map(B)Map(\mathbf{B}); in particular, p(B)V B *p(B) \simeq V^{B^*}.

Proof

There are natural equivalences between local hom-categories whose objects appear below:

Ap(BC):Map(B)ABC:BB *AC:BB *Ap(C):Map(B)\frac{\frac{A \to p(B \otimes C): Map(\mathbf{B})}{A \to B \otimes C: \mathbf{B}}}{\frac{B^* \otimes A \to C: \mathbf{B}}{B^* \otimes A \to p(C): Map(\mathbf{B})}}

which shows that p(BC)p(B \otimes C) satisfies the universal property expected of the bicategorical exponential p(C) B *p(C)^{B^*}. The equivalence p(B)V B *p(B) \simeq V^{B^*} arises by taking C=1C = 1.

As a consequence, the unit y:1piy: 1 \to p i of the KZ biadjunction is map-valued transformation

yA:AV A *y A: A \to V^{A^*}

which gives rise to a map hom A:A *AV\hom_A: A^* \otimes A \to V. We will see that we can simulate enriched category theory in an epistemology, with VV playing the role of hom base of enrichment.

We develop some further consequences of compact closure. Let B op\mathbf{B}^{op} be B\mathbf{B} with 1-cells reversed, and let B co\mathbf{B}^{co} be B\mathbf{B} with 2-cells reversed. Compact closure allows one to construct an equivalence

() :B opB(-)^\dagger: \mathbf{B}^{op} \to \mathbf{B}

This equivalence takes right adjoints in B\mathbf{B} to left adjoints (maps) in B\mathbf{B}, and vice-versa. On the other hand, by taking mates we define a 2-functor

Map(B) coopB,Map(\mathbf{B})^{coop} \to \mathbf{B},

taking a 2-cell α:fg\alpha: f \to g between left adjoints in B\mathbf{B} to the corresponding mate α *:g *f *\alpha^*: g^* \to f^* between right adjoints in B\mathbf{B}. Now combine these operations: starting with an adjunction

(f:AB)(f *:BA)(f: A \to B) \dashv (f^\ast: B \to A)

in B\mathbf{B}, we obtain an adjunction

((f *) :A *B *)(f :B *A *)((f^\ast)^\dagger: A^* \to B^*) \dashv (f^\dagger: B^* \to A^*)

and by the process of taking mates, a 2-cell α:ff\alpha: f \to f' between maps in B\mathbf{B} corresponds to a 2-cell (α *) :(f) *f *(\alpha^\ast)^\dagger: (f')^{\ast \dagger} \to f^{\ast \dagger} between maps.

Definition

The functor () op:Map(B) coMap(B)(-)^{op}: Map(\mathbf{B})^{co} \to Map(\mathbf{B}) takes

  • Objects AA in Map(B)Map(\mathbf{B}) to A opA *A^{op} \coloneqq A^*;
  • Morphisms f:ABf: A \to B in Map(B)Map(\mathbf{B}) to morphisms f op(f *) :A opB opf^{op} \coloneqq (f^\ast)^\dagger: A^{op} \to B^{op} in Map(B)Map(\mathbf{B});
  • 2-cells α:ff\alpha: f \to f' in Map(B)Map(\mathbf{B}) to 2-cells α op(α *) :(f) opf op\alpha^{op} \coloneqq (\alpha^\ast)^\dagger: (f')^{op} \to f^{op}.

The functor () op(-)^{op} is symmetric monoidal and involutive in the evident way.

Examples

There are two basic examples. For the first, let VV be a commutative quantale, and construct the bicategory B\mathbf{B} of small VV-enriched categories and VV-enriched bimodules between them. B\mathbf{B} inherits a tensor product from the quantale multiplication on VV, and it is compact closed.

The second example is any compact closed bicategory B\mathbf{B} whose underlying bicategory is compact (meaning that every 1-cell has a right adjoint). In this case, the inclusion Map(B)BMap(\mathbf{B}) \to \mathbf{B} is an identity.

The concept of epistemology is “algebraic” in that one can construct a free epistemology on a given bicategory, and show epistemologies are monadic over bicategories in an appropriate sense. (This certainly needs to be justified.)

LL-AlgAlg and RR-AlgAlg

Put E=Map(B)\mathbf{E} = Map(\mathbf{B}), and let LL-AlgAlg (for left adjoint) be the category of algebras of the pseudomonad pi:EEp i: \mathbf{E} \to \mathbf{E}. Let RR-AlgAlg be the category of algebras of the pseudomonad () op(pi)() op:EE(-)^{op} \circ (p i) \circ (-)^{op}: \mathbf{E} \to \mathbf{E}. The unit of RR will be a morphism in E\mathbf{E} denoted υC:CR(C)=(V C) *\upsilon C: C \to R(C) = (V^C)^\ast.

Lemma

For any 1-cell f:ABf: A \to B in E\mathbf{E}, let g=f *g = f^\ast be its right adjoint in B\mathbf{B}. Then p(g)V f op:V B opV A opp(g) \cong V^{f^{op}}: V^{B^{op}} \to V^{A^{op}}.

Proof

For any object CC of B\mathbf{B}, we have equivalences as follows:

Cp(B)p(g)p(A)̲ Map(B)(C,p(A)) CBgA̲ B(C,A) CA *1g CB *1̲ B(CA *,1) CA op1f opCB op1̲ B(CA op,1) CA op1f opCB opV̲ Map(B)(CA op,V) CV B opV f opV A op Map(B)(C,p(A))\array{ \underline{C \to p(B) \stackrel{p(g)}{\to} p(A)} & & Map(\mathbf{B})(C, p(A)) \\ \underline{C \to B \stackrel{g}{\to} A} & & \mathbf{B}(C, A) \\ \underline{C \otimes A^\ast \stackrel{1 \otimes g^\dagger}{\to} C \otimes B^\ast \to 1} & & \mathbf{B}(C \otimes A^\ast, 1) \\ \underline{C \otimes A^{op} \stackrel{1 \otimes f^{op}}{\to} C \otimes B^{op} \to 1} & & \mathbf{B}(C \otimes A^{op}, 1) \\ \underline{C \otimes A^{op} \stackrel{1 \otimes f^{op}}{\to} C \otimes B^{op} \to V} & & Map(\mathbf{B})(C \otimes A^{op}, V) \\ C \to V^{B^{op}} \stackrel{V^{f^{op}}}{\to} V^{A^{op}} & & Map(\mathbf{B})(C, p(A)) }

which proves the claim.

Corollary

For any f:ABf: A \to B in E\mathbf{E} and g=f *g = f^\ast, the morphism V f op:V B opV A opV^{f^{op}}: V^{B^{op}} \to V^{A^{op}} has both a left and right adjoint in E\mathbf{E}:

L(f)V f opp(g)χ χ g *.L(f) \dashv V^{f^{op}} \cong p(g) \dashv \chi_{\chi_g^\ast}.

In particular, for f=yA:AV A opf = y A: A \to V^{A^{op}}, the multiplication LL(A)L(A)L L(A) \to L(A) is given by

V (yA) op:V V *AV A *V^{(y A)^{op}}: V^{V^{\ast A}} \to V^{A^\ast}

(since yey \dashv e and the multiplication on LL is given by pep e).

Remark

The previous result is that we can take both right and left Kan extensions along morphisms in E\mathbf{E}. Related is the fact that both right Kan lifts and right Kan extensions exist in an epistemology B\mathbf{B}, by proposition 1 and the fact that () :B opB(-)^\dagger: \mathbf{B}^{op} \to \mathbf{B} converts right extension problems to right lifting problems. If s\rs \backslash r denotes the right Kan lift of rr through ss, then the right Kan extension of rr along tt is given by the formula r/t(t \r ) r/t \coloneqq (t^\dagger \backslash r^\dagger)^\dagger.

Proposition

Let AA, BB be LL-algebras. Then LL-algebra maps ABA \to B coincide with left adjoints ABA \to B in E\mathbf{E}.

Proposition

The monad RR distributes over the monad LL, and the monad LRL R (as induced from the distributive law) is equivalent to the double dualization monad V V ()V^{V^{(-)}}.

Theorem

VV is an RR-algebra.

Proof

We define the algebra structure θ:R(V)=V *V *V\theta: R(V) = V^{\ast V^\ast} \to V to be the map [θ][\theta] named by the composite

1[1 V]V VL(y(V *))V V *V *.1 \underset{[1_V]}{\to} V^V \underset{L(y(V^\ast))}{\to} V^{V^{\ast V^\ast}}.

In that case, the unit equation

θυ V1 V\theta \circ \upsilon_V \cong 1_V

is equivalent to

([1 V]:1V V)(1[θ]V (V V) *V υ VV V).([1_V]: 1 \to V^V) \; \; \cong \; \; (1 \stackrel{[\theta]}{\to} V^{(V^V)^\ast} \stackrel{V^{\upsilon_V}}{\to} V^V).
Proposition

If AA is an LL-algebra, then so is any exponential A CA^C that exists in E\mathbf{E}, so that LL-AlgAlg is an exponential ideal in E\mathbf{E}.

Proof

The left adjoint to the yoneda embedding on A CA^C is (claim) the composite

V (A C) *V V * AC *V (AC *) op(V A *) Cξ CA C.V^{(A^C)^\ast} \to V^{V^{\ast ^{A \otimes C^\ast}}} \to V^{(A \otimes C^\ast)^{op}} \simeq (V^{A^\ast})^C \stackrel{\xi^C}{\to} A^C.

Internal structure on the hom base V=p(1)V = p(1)

Proposition

The object VV is a symmetric monoidal object in E=Map(B)\mathbf{E} = Map(\mathbf{B}).

For this, we observe that E\mathbf{E} inherits a symmetric monoidal bicategory structure from BB via the inclusion i:EBi: \mathbf{E} \to \mathbf{B}: the tensor product

:B×BB\otimes: \mathbf{B} \times \mathbf{B} \to \mathbf{B}

restricts to a 2-functor

:E×EE\otimes: \mathbf{E} \times \mathbf{E} \to \mathbf{E}

and it is automatic that the 1-cell constraints α\alpha, σ\sigma, etc., for the symmetric monoidal structure on B\mathbf{B} are maps (because they are equivalences), and all the 2-cell constraints are then automatically in E\mathbf{E}. In this way, i:EBi: \mathbf{E} \to \mathbf{B} becomes a symmetric monoidal 2-functor. Its right adjoint p:BEp: \mathbf{B} \to \mathbf{E} thereby becomes a lax symmetric monoidal 2-functor; in particular there is a lax constraint of the form

p(A)p(B)p(AB)p(A) \otimes p(B) \to p(A \otimes B)
Proof

This follows from the observation that the unit 11 of a symmetric monoidal bicategory is a symmetric monoidal object, together with the lax constraint above. In more detail, there is a symmetric monoidal category UU whose objects are 1-cells r:1 n1r: 1^{\otimes n} \to 1 in B\mathbf{B}, so that letting F[1]F[1] be the free symmetric monoidal category on one generator, there is a symmetric monoidal functor

() *:F[1]U(-)_*: F[1] \to U

It takes a morphism α:uw\alpha: u \to w in F[1]F[1] between two words in nn variables to a morphism α *:u *w *\alpha_*: u_* \to w_* in the local hom-category B(1 n,1)\mathbf{B}(1^{\otimes n}, 1), which is a 2-cell in B\mathbf{B}. Whiskering the 2-cell α *\alpha_* by the 1-cell (e1) n:V n1 n(e 1)^{\otimes n}: V^{\otimes n} \to 1^{\otimes n}, we get a corresponding morphism in

B(V n,1)E(V n,V)B(V^{\otimes n}, 1) \simeq \mathbf{E}(V^{\otimes n}, V)

and this defines a symmetric monoidal structure on VV.

Theorem

The object VV is a symmetric monoidal closed object in E\mathbf{E}.

The first question is what is even meant by a symmetric monoidal closed object.

Footnotes


  1. Called an “epistemology” for reasons that were obscure to me then and even more so now, but I’ve never called it anything else and I’ve never tried to come up with anything better. Roughly speaking, I had in mind that any “epistemology”, i.e., any “theory of (scientific) knowledge” worthy of the name, had to avoid an infinite regress, and had to be be based on some system of comparison and measurement of the entities under consideration. The measurements would be valued in some base of measurements VV (the archetypal example being V=V = \mathbb{R} or V=[0,]V = [0, \infty], or V=SetV = Set if we think of hom-sets as measuring the degree to which two entities are related), and VV would be used to measure itself (to avoid an infinite regress). Such a system should be closed and autonomous (so as to avoid regressing to another background “theory of knowledge” like set theory). Thus I had in mind a world like VV-CatCat, but free of any extraneous or background set theory to which constructions make reference.

  2. It took quite some time before it at last became clear to me that this was not a suitable subject on which to write a doctoral dissertation or to start a mathematical career with; at length, my dissertation topic morphed into the coherence problem for symmetric monoidal closed categories. Luckily for me, certain intuitions developed during my “epistemology phase” turned out to be useful during the later dissertation work. (And let me pay tribute to my adviser, Myles Tierney, who was very kind and patient all the while, and let me figure it out for myself!)

  3. Actually, the proper and certainly more up-to-date way of relating the ModMod side and the CatCat side is probably through the use of equipments or framed bicategories. This may be undertaken in a later revision of these notes.

Revised on March 1, 2013 at 09:25:16 by Todd Trimble