Todd Trimble Epistemologies

Background
Potency
- Definition
- Basic consequences of potency
Epistemologies
Examples
$L$ - $Alg$ and $R$ - $Alg$
Internal structure on the hom base $V = p(1)$
Footnotes

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 $E$ (called an “epistemology”¹) that would be like $V$ - $Cat$ but was symmetric monoidal closed, where the guiding assumption was that $E$ carried a free cocompletion monad taking an object $C$ to $V$ -valued presheaves on $C$ for some distinguished object $V$ . So $E$ was assumed to have an involution $(-)^{op}$ operating on it, and there was a monad $p: E \to E$ of Kock-Zöberlein type, taking $C$ to $V^{C^{op}}$ , and satisfying some axioms to the effect that $p$ -algebras would behave like $V$ -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 beautiful².

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 $V$ - $Cat$ , but like a paradise form of $V$ - $Mod$ , with the subbicategory of “maps” or left adjoints serving as a proxy for $V$ - $Cat$ ³. (And it was later still that I understood that the crucial concept of “potency”, explained below, could be developed just as well from the $V$ - $Cat$ 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 $V$ - $Mod$ 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.

Conventions: Composition is written in traditional order, where $f g$ means $f$ follows $g$ in composing. We will often write pasting diagram equalities as if they were valued in a 2-category rather a bicategory, to eliminate cumbersome mention of structural constraints. Finally, for us, lax transformations $\theta: F \to G$ have structure 2-cells $\theta \cdot f$ which point in the direction

\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 $\mathbf{B}$ , $\mathbf{C}$ , a biadjunction $F \dashv G: \mathbf{B} \to \mathbf{C}$ consists of homomorphisms (strong functors) $F: \mathbf{C} \to \mathbf{B}$ , $G: \mathbf{B} \to \mathbf{C}$ together with a strong (i.e., pseudo-) natural adjoint equivalence of the form

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

between $Cat$ -valued homs.

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

\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):

\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, & }

$\,$

\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 $F \dashv G$ be a biadjunction, with unit $\eta$ and counit $\varepsilon$ and triangulators $s$ , $t$ as above. The following conditions are equivalent:

The triangulator $t: 1_F \to (\varepsilon F)(F \eta)$ is the unit of an adjunction $F\eta \dashv \varepsilon F$ ;
The triangulator $s: (G \varepsilon)(\eta G) \to 1_G$ is the counit of an adjunction $G \varepsilon \dashv \eta G$ .

Proof

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

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

defined by a pasting

\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^{-1}$ ), and we compose this 2-cell with a strong naturality constraint

\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_{G F G} \to (\eta G) \circ (G \varepsilon)$ . It is straightforward to prove that $u$ and $s$ form the unit and counit of an adjunction $G \varepsilon \dashv \eta G$ , given that $t$ and $v$ are the unit and counit of $F \eta \dashv \varepsilon F$ .

Definition

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

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

Here is our fundamental notion.

Definition

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

Basic consequences of potency

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

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

r \cong e B \circ \chi_r

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

y \cdot r: y B \circ r \to p(r) \circ y A = \chi_r,

mated to the isomorphism $r \cong e B \circ \chi_r$ .

We also have that the right adjoint of

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

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

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: A \to C$ and $s: B \to C$ be arrows in a potent bicategory. The right Kan lift of $r$ through $s$ is constructed as the composite

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

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

\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 $\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) \dashv \chi_{\chi_{s}^*}$ . The passage to the final line is effected by the application $e b: Map(\mathbf{B})(a, p b) \to \mathbf{B}(a, b)$ .

Epistemologies

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

\eta: 1 \to B^* \otimes B \qquad \varepsilon: B \otimes B^* \to 1

and triangulators

\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^* \otimes -$ as right biadjoint to $B \otimes -$ . Since $\mathbf{B}$ is symmetric monoidal, we can exhibit $B \otimes -$ also as right adjoint to $B^* \otimes -$ .

Definition

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

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

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

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

Proposition

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

Proof

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

\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(B \otimes C)$ satisfies the universal property expected of the bicategorical exponential $p(C)^{B^*}$ . The equivalence $p(B) \simeq V^{B^*}$ arises by taking $C = 1$ .

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

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

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

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

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

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

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

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

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

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

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

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

Definition

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

Objects $A$ in $Map(\mathbf{B})$ to $A^{op} \coloneqq A^*$ ;
Morphisms $f: A \to B$ in $Map(\mathbf{B})$ to morphisms $f^{op} \coloneqq (f^\ast)^\dagger: A^{op} \to B^{op}$ in $Map(\mathbf{B})$ ;
2-cells $\alpha: f \to f'$ in $Map(\mathbf{B})$ to 2-cells $\alpha^{op} \coloneqq (\alpha^\ast)^\dagger: (f')^{op} \to f^{op}$ .

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

Examples

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

The second example is any compact closed bicategory $\mathbf{B}$ whose underlying bicategory is compact (meaning that every 1-cell has a right adjoint). In this case, the inclusion $Map(\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.)

$L$ - $Alg$ and $R$ - $Alg$

Put $\mathbf{E} = Map(\mathbf{B})$ , and let $L$ - $Alg$ (for left adjoint) be the category of algebras of the pseudomonad $p i: \mathbf{E} \to \mathbf{E}$ . Let $R$ - $Alg$ be the category of algebras of the pseudomonad $(-)^{op} \circ (p i) \circ (-)^{op}: \mathbf{E} \to \mathbf{E}$ . The unit of $R$ will be a morphism in $\mathbf{E}$ denoted $\upsilon C: C \to R(C) = (V^C)^\ast$ .

Lemma

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

Proof

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

\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: A \to B$ in $\mathbf{E}$ and $g = f^\ast$ , the morphism $V^{f^{op}}: V^{B^{op}} \to V^{A^{op}}$ has both a left and right adjoint in $\mathbf{E}$ :

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

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

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

(since $y \dashv e$ and the multiplication on $L$ is given by $p e$ ).

Remark

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

Proposition

Let $A$ , $B$ be $L$ -algebras. Then $L$ -algebra maps $A \to B$ coincide with left adjoints $A \to B$ in $\mathbf{E}$ .

Proposition

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

Theorem

$V$ is an $R$ -algebra.

Proof

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

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

In that case, the unit equation

\theta \circ \upsilon_V \cong 1_V

is equivalent to

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

Proposition

If $A$ is an $L$ -algebra, then so is any exponential $A^C$ that exists in $\mathbf{E}$ , so that $L$ - $Alg$ is an exponential ideal in $\mathbf{E}$ .

Proof

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

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)$

Proposition

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

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

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

restricts to a 2-functor

\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 $\mathbf{B}$ are maps (because they are equivalences), and all the 2-cell constraints are then automatically in $\mathbf{E}$ . In this way, $i: \mathbf{E} \to \mathbf{B}$ becomes a symmetric monoidal 2-functor. Its right adjoint $p: \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) \otimes p(B) \to p(A \otimes B)

Proof

This follows from the observation that the unit $1$ 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 $U$ whose objects are 1-cells $r: 1^{\otimes n} \to 1$ in $\mathbf{B}$ , so that letting $F[1]$ be the free symmetric monoidal category on one generator, there is a symmetric monoidal functor

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

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

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

and this defines a symmetric monoidal structure on $V$ .

Theorem

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

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

Footnotes

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 $V$ (the archetypal example being $V = \mathbb{R}$ or $V = [0, \infty]$ , or $V = Set$ if we think of hom-sets as measuring the degree to which two entities are related), and $V$ 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 $V$ - $Cat$ , but free of any extraneous or background set theory to which constructions make reference. ↩
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!) ↩
Actually, the proper and certainly more up-to-date way of relating the $Mod$ side and the $Cat$ 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

Todd Trimble Epistemologies

Contents

Background

Potency

Definition

Definition

Lemma

Proof

Definition

Definition

Basic consequences of potency

Proposition

Proof

Epistemologies

Definition

Proposition

Proof

Definition

Examples

LL-AlgAlg and RR-AlgAlg

Lemma

Proof

Corollary

Remark

Proposition

Proposition

Theorem

Proof

Proposition

Proof

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

Proposition

Proof

Theorem

Footnotes

$L$ - $Alg$ and $R$ - $Alg$

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