balanced category theory

Balanced Category Theory

Claudio Pisani

Calais, June 2008

Balanced category theory is an abstraction of category theory based on the following classes of functors:

: final functors; : discrete fibrations;

’ : initial functors; ’ : discrete opfibrations.

Since [Street and Walters, 1973], we know that these form two “comprehensive” factorization systems on Cat.

Less known is the following “reciprocal stability” property:

the pullback of a final (resp. initial) functor along a discrete opfibration (resp. fibration) is itself final (initial).

Recall that discrete fibrations and final functors can be characterized in terms of slice projections mx : X/x X and coslice projections nx : x\X X (to be thought of as a sort of neighborhoods of the category X at x).

A functor f : X Y is a discrete fibration

iff the obvious slice functors ef,x : X/x Y/fx are isomorphisms for any object x of X (“local homeomorphism” property).

Discrete fibrations over X “are” the presheaves over X: Cat/X (m , m’ ) = Nat (m , m’ )

A discrete fibration is isomorphic to a slice projection mx (in Cat/X) iff its domain has a terminal object iff it corresponds to a representable presheaf.

A functor p : P X is final iff it is “locally connected”: the pullback x\p along any coslice projection x\X X has a connected domain.

(E.g., X 1 is final iff X is connected, and x : 1 X is final iff it is a terminal object.)

Now, the “reciprocal stability” property is easily proved:

QP

YX

qp

f

x\p

x\Xnx1

ix

fx\Y nfx

Thus, Cat is a “balanced factorization category” (bfc): a finitely complete category with two reciprocally stable factorization systems which generate the same discrete objects: /1 = ’/1 ( = Set ). Every left exact category with a factorization system satisfying the Frobenius law is a bfc.We will soon present other interesting instances of bfc’s.

We see an object of a bfc C as a “category” (of type C ), in the same sense for which an object of a topos T is (variable) set (of type T ).

Thus, balanced category theory is a 1-categorial abstraction of category theory, based on an axiomatization of Cat (with the comprehensive f.s.)

Indeed, concepts such as terminal object, representability, universal arrow and colimits, with their reciprocal interplay, are enlightened in this generalized context.

We now show that it deserves to be called “category theory”, by illustrating how several classical universal concepts can be treated in any bfc C .

We get the “Yoneda Lemma” for free:

First, we define slices and coslices by factorizing a point (in Cat, an object) with the two factorization systems:

1

X/x

A

X

ex m

mx

x

X1 X/xex mx1 Xx\Xix nx

Thus, as in Cat, the slice projections are (up to isomorphisms in C/X) those maps in whose domain has a final point.

1 Xx

We also get slice maps ef,x : X/x Y/fx for any map f : X Y in C :

1

X/x

Y/fx

ex

X Yf

efx

mx

mfx

ef,x

These are final maps, that is are in .

For any object X of C, we have an underlying category X, obtained by restricting C/X to slices:

We so get a underlying functor C Cat (and another one using coslices instead).

Yf

Y/fx

X

X/xef,x

X/x’ Y/fx’ef,x’

and for any map f : X Y in C, we have a functor f : X Y :

X/x’

X

X/xmfx’

X Yf

X/gy Y/y

The underlying functor preserves adjunctible maps.

A map is adjunctible if the pullback of a slice over Y is a slice over X.

1ex

X/x Y/fxef,x

my

All adjunctions in Cat are instances of the adjunction of the bifibration of the f.s.

gy

A cone in X is simply a map over X to a slice : p X/x .

X

P X/x X/y

p

A colimiting cone is universal among cones from p :

Theorem:

Adjunctible maps preserve colimits.

Proof :

X Yf

P

X/x Y/fx

Y/yX/x’?!

ef,x

pmy

Theorem :

A map f is adjunctible at y iff f/y has a colimit preserved by f.

Proof :

X Yf

f/y Y/y

X/x Y/fxef,x

q

We have not yet exploited the reciprocal stability law.

As a first consequence, if e : X Y is a final map (is in ) and T 1 is a discrete opfibration (is in ’ ) then e x T : X x T Y x T is itself final:

TYxT

1Y

np

XxT

Xe

exT

Theorem :

If S 1 is in , T 1 is in ’ and the exponential ST exists in C , then ST 1 is itself in .

Proof : Let be the reflection map of ST in /1. We want to show that it is an iso. Since is final, also x T is final.

Thus x Tbe is orthogonal to S and, by adjunction, is orthogonal to ST. So, having a retraction, is an iso.

Corollary

If X is a category and m and n are a d.f. and a d.o.f. over X respectively, then the exponential mn in Cat/X is itself a d.f.

Since the slices of a wbfc’s are wbfc’s, we have a categorical explanation of the following fact about Cat :

We say that C is a weak bfc, if we do not assume the last axiom to hold.

Indeed, (L) is a wbfc :an inclusion of the subset X in Y is in (’ ) iff X is a lower (upper) set of Y, and it is in (’ ) iff Y generates (or cover) X from above (below).

(L) is a bfc iff the order is groupoidal (an equivalence relation).

Another instance of the same theorem is the elementary fact that if L is a poset, A a lower subset and D an upper subset, then the relative complement A D is a lower set (in particular, the complement of an upper set is a lower set ).

Now we come to the last axiom.

S := /1 = ’/1 is the full reflective subcategory of C of “internal sets”.

The internal set of components (X) is obtained by factorizing the terminal map: X (X) 1 by either one of the two factorization systems.

The reflection : C S is the “components functor”.

Two objects linked by a final or initial map have the same set of components.

Balanced category theory is largely enriched over internal sets.

If m : A X is a map in , and x : 1 X a point of X, the external (not enriched) value of m at x is the set of points of A over X :

mx = Cat/X (x, m) = /X (X/x, m)

The internal (enriched) value of a m at x is the internal set (mx) given by the following pullback:

1x

(mx) A

X

m

By factorizing the point x through the coslice x\X , we get a factorization of the above pullback.

1ix

(mx) [mx]

x\Xnx

A

X

m

Thus, o[mx] = (mx) .

i

This is the “co-Yoneda Lemma”, since in Cat the functor

o ( - x - ) : ’/X x /X S

gives the usual tensor product of a covariant and a contravariant presheaf.

Note that (mx) really enriches mx: if |-|:C Set is the points functor C (1,-) , we have |(mx)| = C/X(x,m) , the set of points over x .

Thus, o[mx] = o(x\X x m) = (mx) .

give biuniversal elements of the profunctor |o ( - x - ) | : ’/X x /X Set

The elements

x\Xnx

[x,x] X/x

X

mx

1

Therefore, the two underlying categories are dual.

ex

ix

1ix

(x,y) [x,y]

x\Xnx

X/y

X

my

(x,y) 1

ey

i

e

Thus we have a cylinder:

(x,y) [x,y]

i

(x,y)e

where the common retraction is given by the components map.

The internal hom-set X(x,y) = o[x,y] enriches both C/X (X/x,X/y) and C/X (y\X,x\X) :

To any element s of (X) there corresponds a connected subobject [s] which is included in X as a discrete bifibration :

(x,y)

X/y

x\X

(X)1s

[s] X

1

[x,y]

(x,y)

b

b

i ei e

n

m

In Cat , the interval object

1 i

e

is the category of factorizations of the arrow with the two factorizations through the identities.

= \(X/y) = (x\X)/

Thus, by the characterization of the slice projections, we have the isomorphisms

Note that a slice C/X of a wbfc is a bfc iff X is groupoidal, meaning that /X = ’/X.

For example, if X is a groupoid, Cat/X is a bfc, with presheaves SetX = SetX* as internal sets.

Thus we can develop (balanced) category theory relative to a groupoid.

The category of posets is a bfc with the following factorization systems:

a morphism f : X Y is in (’ ) iff it is (isomorphic to) a lower (upper) set inclusion, and it is in (’ ) iff it is cofinal (coinitial) in the classical sense.Its category of internal sets is S = 2, and internal hom-sets give the usual interpretation of posets as 2-enriched categories.

Balanced category theory seems to offer an alternative to the commonly accepted view that category theory is intrinsically 2- (or bi- or higher-) categorical.

Conclusions

We have seen that category theory largely depends on the universal properties that Cat inherits from being a bfc.