bundle theory for categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · title: bundle theory...
TRANSCRIPT
![Page 1: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/1.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
Bundle Theory for Categories
Kathryn Hess
Institute of Geometry, Algebra and TopologyEcole Polytechnique Fédérale de Lausanne
IV Seminar on Categories and ApplicationsBellaterra, 9 June 2007
![Page 2: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/2.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
Joint work with Steve Lack.
![Page 3: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/3.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
Outline
1 Bundles of finite sets
2 Bundles of categories
3 Bundles of monoidal categories
4 Bundles of bicategories
![Page 4: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/4.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
Global and local descriptionsA bundle of finite sets is a set map
p : E → B,
such that p−1(b) is a finite set for all b ∈ B.
The bundle p : E → B gives rise to local data:
Φp : B → FinSet : b → p−1(b),
where FinSet is the set of finite sets.
Any set map Φ : B → FinSet can be globalized: let
EΦ = {(b, x) | x ∈ Φ(b), b ∈ B}
andpΦ : EΦ → B : (b, x) 7→ b.
![Page 5: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/5.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
Global and local descriptionsA bundle of finite sets is a set map
p : E → B,
such that p−1(b) is a finite set for all b ∈ B.
The bundle p : E → B gives rise to local data:
Φp : B → FinSet : b → p−1(b),
where FinSet is the set of finite sets.
Any set map Φ : B → FinSet can be globalized: let
EΦ = {(b, x) | x ∈ Φ(b), b ∈ B}
andpΦ : EΦ → B : (b, x) 7→ b.
![Page 6: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/6.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
Global and local descriptionsA bundle of finite sets is a set map
p : E → B,
such that p−1(b) is a finite set for all b ∈ B.
The bundle p : E → B gives rise to local data:
Φp : B → FinSet : b → p−1(b),
where FinSet is the set of finite sets.
Any set map Φ : B → FinSet can be globalized: let
EΦ = {(b, x) | x ∈ Φ(b), b ∈ B}
andpΦ : EΦ → B : (b, x) 7→ b.
![Page 7: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/7.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
The tautological bundle
LetFinSet∗ = {(X , x) | X ∈ FinSet, x ∈ X}.
The tautological bundle of finite sets is the map
τset : FinSet∗ → FinSet : (X , x) 7→ X .
Observe that τ−1set (X ) = X for all X ∈ FinSet.
![Page 8: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/8.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
The tautological bundle
LetFinSet∗ = {(X , x) | X ∈ FinSet, x ∈ X}.
The tautological bundle of finite sets is the map
τset : FinSet∗ → FinSet : (X , x) 7→ X .
Observe that τ−1set (X ) = X for all X ∈ FinSet.
![Page 9: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/9.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
Classification
PropositionThe bundle τset classifies bundles of finite sets.
Proof.The globalization pΦ : EΦ → B of Φ : B → FinSet fits intoa pullback square
EΦ
pΦ
��
// FinSet∗τset
��B
Φ // FinSet
.
Moreover, it is obvious that
pΦp = p and ΦpΦ= Φ
for all p : E → B and for all Φ : B → FinSet.
![Page 10: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/10.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
Classification
PropositionThe bundle τset classifies bundles of finite sets.
Proof.The globalization pΦ : EΦ → B of Φ : B → FinSet fits intoa pullback square
EΦ
pΦ
��
// FinSet∗τset
��B
Φ // FinSet
.
Moreover, it is obvious that
pΦp = p and ΦpΦ= Φ
for all p : E → B and for all Φ : B → FinSet.
![Page 11: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/11.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
The local description
Let Cat denote the category of small categories
Let B denote any category. Local category bundle dataover B is a functor
Φ : B → Cat.
![Page 12: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/12.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
The global description
A functor P : E → B is a bundle of categories if it is a splitopfibration with small fibers
, i.e.:(Existence of a lift)
e∃ bβe
// β∗e ∈ E
P
��
↓ P
P(e)∀ β
// b ∈ B.
![Page 13: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/13.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
The global description
A functor P : E → B is a bundle of categories if it is a splitopfibration with small fibers , i.e.:
(Existence of a lift)
e∃ bβe
// β∗e ∈ E
P
��
↓ P
P(e)∀ β
// b ∈ B.
![Page 14: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/14.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
The global description
(Universal property of the lift)
e bβe
//
δ
""β∗e ∃! bγ // e′
↓ P
P(e)β //
P(δ)
;;b∀ γ // P(e′)
![Page 15: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/15.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
The global description
(γβ)∗(e)
e bβe
//
cγβe55kkkkkkkkkkkkkkkkkk β∗e bγβ∗e
// γ∗β∗e
↓ P
P(e)∀ β // b
∀ γ // c
and IdP(e)e = Ide for all e.
Each P−1(b) is a small category.
![Page 16: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/16.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
Associated bundles
PropositionFor any F : A → B, there is a natural factorization
AF //
S ��???
????
B
EQ
NN
_Y?
%�
P
??�������
such that P is bundle of categories, QS = IdA and thereis a natural transformation SQ ⇒ IdE.
The proof is highly analogous to the usual proof that anycontinuous map can be factored as a homotopyequivalence followed by a fibration.
![Page 17: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/17.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
Associated bundles
PropositionFor any F : A → B, there is a natural factorization
AF //
S ��???
????
B
EQ
NN
_Y?
%�
P
??�������
such that P is bundle of categories, QS = IdA and thereis a natural transformation SQ ⇒ IdE.
The proof is highly analogous to the usual proof that anycontinuous map can be factored as a homotopyequivalence followed by a fibration.
![Page 18: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/18.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
Invariance under pullback
Proposition
If P : E → B is a bundle of categories and F : A → B isany functor, then the pullback
F ∗P : E×B
A → A
of P along F is also a bundle of categories.
The proof is very straightforward.
![Page 19: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/19.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
The tautological bundle
Let Cat∗ be the category of pointed, small categories:
Ob Cat∗ = {(A, a) | A ∈ Ob Cat, a ∈ Ob A};
Cat∗((A, a), (B, b)
)= {(F , f ) | F : A → B, f : F (a) → b}.
The tautological bundle of categories is the functor
τcat : Cat∗ → Cat :
{(A, a) 7→ A(F , f ) 7→ F .
Observe that τ−1cat (A) ∼= A for all small categories A.
![Page 20: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/20.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
The tautological bundle
Let Cat∗ be the category of pointed, small categories:
Ob Cat∗ = {(A, a) | A ∈ Ob Cat, a ∈ Ob A};
Cat∗((A, a), (B, b)
)= {(F , f ) | F : A → B, f : F (a) → b}.
The tautological bundle of categories is the functor
τcat : Cat∗ → Cat :
{(A, a) 7→ A(F , f ) 7→ F .
Observe that τ−1cat (A) ∼= A for all small categories A.
![Page 21: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/21.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
Classification
TheoremThe bundle τcat classifies bundles of categories.
Proof.Local to global: Given local category bundle dataΦ : B → Cat, consider the pullback
EΦ
PΦ
��
// Cat∗τcat
��B Φ // Cat.
Since τcat is a bundle of categories, PΦ is also abundle of categories. (PΦ is exactly the Grothendieckconstruction on Φ.)
![Page 22: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/22.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
Classification
TheoremThe bundle τcat classifies bundles of categories.
Proof.Local to global: Given local category bundle dataΦ : B → Cat, consider the pullback
EΦ
PΦ
��
// Cat∗τcat
��B
Φ // Cat.
Since τcat is a bundle of categories, PΦ is also abundle of categories.
(PΦ is exactly the Grothendieckconstruction on Φ.)
![Page 23: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/23.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
Classification
TheoremThe bundle τcat classifies bundles of categories.
Proof.Local to global: Given local category bundle dataΦ : B → Cat, consider the pullback
EΦ
PΦ
��
// Cat∗τcat
��B
Φ // Cat.
Since τcat is a bundle of categories, PΦ is also abundle of categories. (PΦ is exactly the Grothendieckconstruction on Φ.)
![Page 24: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/24.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
ClassificationProof.
Global to local: Given a bundle of categoriesP : E → B, define ΦP : B → Cat by ΦP(b) = P−1(b)and
e1bβe1 // β∗e1
e0
ξ
OO
bβe0 // β∗e0
dIdb′=Φ(β)(ξ)
OO
↓ P
b
P(bβe1◦ξ)
))
β
55 b′.
![Page 25: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/25.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
The “geometric” viewpoint
A morphism β : b → b′ in B can be seen as a “path” fromb to b′.
The functor ΦP(β) : P−1(b) → P−1(b′) can therefore beseen as “parallel transport” along the path β from thefiber over b to the fiber over b′.
Since ΦP(β′) ◦ ΦP(β) = ΦP(β′β), a “connection” givingrise to this “parallel transport” would have to be flat.
Thus: bundles of categories can be thought of as functorsendowed with a flat connection.
(The nonflat case corresponds to consideringpseudofunctors B → CAT.)
![Page 26: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/26.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
The “geometric” viewpoint
A morphism β : b → b′ in B can be seen as a “path” fromb to b′.
The functor ΦP(β) : P−1(b) → P−1(b′) can therefore beseen as “parallel transport” along the path β from thefiber over b to the fiber over b′.
Since ΦP(β′) ◦ ΦP(β) = ΦP(β′β), a “connection” givingrise to this “parallel transport” would have to be flat.
Thus: bundles of categories can be thought of as functorsendowed with a flat connection.
(The nonflat case corresponds to consideringpseudofunctors B → CAT.)
![Page 27: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/27.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
The “geometric” viewpoint
A morphism β : b → b′ in B can be seen as a “path” fromb to b′.
The functor ΦP(β) : P−1(b) → P−1(b′) can therefore beseen as “parallel transport” along the path β from thefiber over b to the fiber over b′.
Since ΦP(β′) ◦ ΦP(β) = ΦP(β′β), a “connection” givingrise to this “parallel transport” would have to be flat.
Thus: bundles of categories can be thought of as functorsendowed with a flat connection.
(The nonflat case corresponds to consideringpseudofunctors B → CAT.)
![Page 28: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/28.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
The “geometric” viewpoint
A morphism β : b → b′ in B can be seen as a “path” fromb to b′.
The functor ΦP(β) : P−1(b) → P−1(b′) can therefore beseen as “parallel transport” along the path β from thefiber over b to the fiber over b′.
Since ΦP(β′) ◦ ΦP(β) = ΦP(β′β), a “connection” givingrise to this “parallel transport” would have to be flat.
Thus: bundles of categories can be thought of as functorsendowed with a flat connection.
(The nonflat case corresponds to consideringpseudofunctors B → CAT.)
![Page 29: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/29.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
The “geometric” viewpoint
A morphism β : b → b′ in B can be seen as a “path” fromb to b′.
The functor ΦP(β) : P−1(b) → P−1(b′) can therefore beseen as “parallel transport” along the path β from thefiber over b to the fiber over b′.
Since ΦP(β′) ◦ ΦP(β) = ΦP(β′β), a “connection” givingrise to this “parallel transport” would have to be flat.
Thus: bundles of categories can be thought of as functorsendowed with a flat connection.
(The nonflat case corresponds to consideringpseudofunctors B → CAT.)
![Page 30: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/30.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
Example: covering spaces
For any topological space X , let Π(X ) denote itsfundamental groupoid, i.e., Ob Π(X ) = X and Π(X )(x , x ′)is the set of based homotopy classes of paths from x tox ′.
If p : E → B is a covering map of topological spaces, thenΠ(p) : Π(E) → Π(B) is bundle of categories.
The corresponding local data Φp : Π(B) → Cat is suchthat Φp(b) is the fundamental groupoid of p−1(b).
![Page 31: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/31.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
Example: covering spaces
For any topological space X , let Π(X ) denote itsfundamental groupoid, i.e., Ob Π(X ) = X and Π(X )(x , x ′)is the set of based homotopy classes of paths from x tox ′.
If p : E → B is a covering map of topological spaces, thenΠ(p) : Π(E) → Π(B) is bundle of categories.
The corresponding local data Φp : Π(B) → Cat is suchthat Φp(b) is the fundamental groupoid of p−1(b).
![Page 32: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/32.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
Example: covering spaces
For any topological space X , let Π(X ) denote itsfundamental groupoid, i.e., Ob Π(X ) = X and Π(X )(x , x ′)is the set of based homotopy classes of paths from x tox ′.
If p : E → B is a covering map of topological spaces, thenΠ(p) : Π(E) → Π(B) is bundle of categories.
The corresponding local data Φp : Π(B) → Cat is suchthat Φp(b) is the fundamental groupoid of p−1(b).
![Page 33: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/33.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
Other examplesCategories fibered over groupoids (and thereforestacks)
Hopf algebroids: a Hopf algebroid (A, Γ) over acommutative ring R gives rise to a functor
AlgR → Gpd ↪→ Cat.
(Flores) Classifying spaces for families of subgroups:to a discrete group G and a family F of subgroups ofG, there is associated a functor
R : OF → Cat : G/H → G/H.
The nerve of ER is then a model for EFG: it is aG-CW-complex such that every isotropy groupbelongs to F and the fixed-point space with respectto any element of F is contractible.
![Page 34: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/34.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
Other examplesCategories fibered over groupoids (and thereforestacks)Hopf algebroids: a Hopf algebroid (A, Γ) over acommutative ring R gives rise to a functor
AlgR → Gpd ↪→ Cat.
(Flores) Classifying spaces for families of subgroups:to a discrete group G and a family F of subgroups ofG, there is associated a functor
R : OF → Cat : G/H → G/H.
The nerve of ER is then a model for EFG: it is aG-CW-complex such that every isotropy groupbelongs to F and the fixed-point space with respectto any element of F is contractible.
![Page 35: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/35.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
Other examplesCategories fibered over groupoids (and thereforestacks)Hopf algebroids: a Hopf algebroid (A, Γ) over acommutative ring R gives rise to a functor
AlgR → Gpd ↪→ Cat.
(Flores) Classifying spaces for families of subgroups:to a discrete group G and a family F of subgroups ofG, there is associated a functor
R : OF → Cat : G/H → G/H.
The nerve of ER is then a model for EFG: it is aG-CW-complex such that every isotropy groupbelongs to F and the fixed-point space with respectto any element of F is contractible.
![Page 36: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/36.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
The local description
Recall that Cat admits a monoidal structure, given bycartesian product.
Let B denote any monoidal category.
Local monoidal bundle data over B is a monoidal functor
Φ : B → Cat.
![Page 37: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/37.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
The global description
Let B and E be monoidal categories.
A strict monoidal functor P : E → B that is a bundle ofcategories is a bundle of monoidal categories if the liftssatisfy:
βe ⊗ β′e′ = β ⊗ β′e⊗e′ ,
for all β : P(e) → b and β′ : P(e′) → b′ in B.
![Page 38: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/38.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
The tautological bundle
The tautological bundle of categories
τcat : Cat∗ → Cat
is a bundle of monoidal categories.
![Page 39: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/39.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
ClassificationTheoremThe tautological bundle τcat classifies bundles ofmonoidal categories.
Proof.Using the constructions of the previous classificationtheorem, we see that
Φ : B → Cat monoidal ⇒
PΦ : EΦ → B bundle of monoidal categories
and
P : E → B bundle of monoidal categories ⇒
ΦP : B → Cat monoidal .
![Page 40: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/40.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
The “geometric” viewpoint
If P : E → B is a bundle of monoidal categories, then theassociated “parallel transport” is such that
P−1(b0)× P−1(b′0)
ΦP(β)×ΦP(β′)��
µ // P−1(b0 ⊗ b′0)
ΦP(β⊗β′)��
P−1(b1)× P−1(b′1)µ // P−1(b1 ⊗ b′1)
commutes for all “paths” β : b0 → b1 and β′ : b′0 → b′1.
![Page 41: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/41.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
Example: modules over a fixed ring
Let R be a ring, and let X be a left R-module.
Let (R,⊗, I) be the monoidal category whereOb R = N;R(m, n) = Mnm(R), the set of (n ×m)-matrices withcoefficients in R;composition is given by matrix multiplication;m ⊗m′ := m + m′, I := 0 and for all M ∈ Mnm(R),M ′ ∈ Mn′m′(R)
M ⊗M ′ :=
[M 00 M ′
].
Let X be the category with one object ∗ and withmorphism set equal to X .
![Page 42: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/42.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
Example: modules over a fixed ring
Let R be a ring, and let X be a left R-module.
Let (R,⊗, I) be the monoidal category whereOb R = N;R(m, n) = Mnm(R), the set of (n ×m)-matrices withcoefficients in R;composition is given by matrix multiplication;m ⊗m′ := m + m′, I := 0 and for all M ∈ Mnm(R),M ′ ∈ Mn′m′(R)
M ⊗M ′ :=
[M 00 M ′
].
Let X be the category with one object ∗ and withmorphism set equal to X .
![Page 43: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/43.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
Example: modules over a fixed ring
Let ΦX : R → Cat denote the functor given by
ΦX (m) = X×m
and
ΦX (M) : X×m → X×n :
{∗ 7→ ∗~x 7→ M~x
for all ~x =
x1...
xn
∈ X×n.
It is easy to see that ΦX is monoidal and therefore givesrise to a bundle of monoidal categories
PX : EX → R.
![Page 44: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/44.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
Example: modules over a fixed ring
PropositionThe categories of left and of right modules over a fixedring R embed into the category of bundles of monoidalcategories over R.
![Page 45: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/45.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
The matrix bicategory
MAT is specified byMAT0 = Ob Set andfor all U, V ∈ MAT0,
MAT(U, V ) = CatU×V ,
where U and V are seen as discrete categories.
Horizontal composition
MAT(U, V )×MAT(V , W ) −→ MAT(U, W ) : (A, B) 7→ A∗B
is given by matrix multiplication, i.e.,
(A ∗ B)(u, w) =∐v∈V
A(u, v)× B(v , w)
for all u ∈ U and w ∈ W .
![Page 46: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/46.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
The matrix bicategory
MAT is specified byMAT0 = Ob Set andfor all U, V ∈ MAT0,
MAT(U, V ) = CatU×V ,
where U and V are seen as discrete categories.Horizontal composition
MAT(U, V )×MAT(V , W ) −→ MAT(U, W ) : (A, B) 7→ A∗B
is given by matrix multiplication, i.e.,
(A ∗ B)(u, w) =∐v∈V
A(u, v)× B(v , w)
for all u ∈ U and w ∈ W .
![Page 47: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/47.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
The local description
Let B be any small bicategory.
Local bicategory bundle data over B consist of a laxfunctor Φ : B → MAT.
This is a sort of “parametrized” version of the local datafor a bundle of monoidal categories. In particular, localbicategory bundle data is obtained when local data for abundle of monoidal categories is “suspended.”
![Page 48: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/48.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
The local description
Let B be any small bicategory.
Local bicategory bundle data over B consist of a laxfunctor Φ : B → MAT.
This is a sort of “parametrized” version of the local datafor a bundle of monoidal categories. In particular, localbicategory bundle data is obtained when local data for abundle of monoidal categories is “suspended.”
![Page 49: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/49.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
The global description
A strict homomorphism of bicategories Π : E → B is abundle of bicategories if
The induced functor on hom-categoriesΠ : E(e, e′) → B
(Π(e),Π(e′)
)is a bundle of
categories for all 0-cells e, e′ in E.
The composition functors
E(e, e′)× E(e′, e′′)
Π×Π
��
c // E(e, e′′)
Π
��B
(Π(e),Π(e′)
)×B
(Π(e′),Π(e′′)
) c // B(Π(e),Π(e′′)
)are morphisms of bundles of categories.
The associator and the unitors in B lift to the associatorand the unitors in E.
![Page 50: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/50.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
The global description
A strict homomorphism of bicategories Π : E → B is abundle of bicategories if
The induced functor on hom-categoriesΠ : E(e, e′) → B
(Π(e),Π(e′)
)is a bundle of
categories for all 0-cells e, e′ in E.The composition functors
E(e, e′)× E(e′, e′′)
Π×Π
��
c // E(e, e′′)
Π
��B
(Π(e),Π(e′)
)×B
(Π(e′),Π(e′′)
) c // B(Π(e),Π(e′′)
)are morphisms of bundles of categories.
The associator and the unitors in B lift to the associatorand the unitors in E.
![Page 51: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/51.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
The global description
A strict homomorphism of bicategories Π : E → B is abundle of bicategories if
The induced functor on hom-categoriesΠ : E(e, e′) → B
(Π(e),Π(e′)
)is a bundle of
categories for all 0-cells e, e′ in E.The composition functors
E(e, e′)× E(e′, e′′)
Π×Π
��
c // E(e, e′′)
Π
��B
(Π(e),Π(e′)
)×B
(Π(e′),Π(e′′)
) c // B(Π(e),Π(e′′)
)are morphisms of bundles of categories.
The associator and the unitors in B lift to the associatorand the unitors in E.
![Page 52: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/52.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
The pointed matrix bicategory
MAT∗ is specified by(MAT∗)0 = Set∗ andfor all (U, u), (V , v) ∈ (MAT∗)0,
MAT∗((U, u), (V , v)
)= Cat
(U×V ,(u,v)
)∗ ,
where(U × V , (u, v)
)is seen as a discrete, pointed
category.
Horizontal composition is again given by matrixmultiplication.
![Page 53: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/53.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
The tautological bundle
The tautological bundle of bicategories is the stricthomomorphism
τbicat : MAT∗ → MAT
given by forgetting basepoints.
![Page 54: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/54.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
Classification
TheoremThe bundle τbicat classifies bundles of bicategories.
Proof.Local to global: Given local bicategory bundle dataΦ : B → MAT, consider the pullback
EΦ
ΠΦ
��
// MAT∗
τbicat
��B
Φ // MAT.
Then ΠΦ is a bundle of bicategories, a sort ofparametrized Grothendieck construction on Φ.
![Page 55: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/55.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
Classification
TheoremThe bundle τbicat classifies bundles of bicategories.
Proof.Local to global: Given local bicategory bundle dataΦ : B → MAT, consider the pullback
EΦ
ΠΦ
��
// MAT∗
τbicat
��B
Φ // MAT.
Then ΠΦ is a bundle of bicategories, a sort ofparametrized Grothendieck construction on Φ.
![Page 56: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/56.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
The “geometric” viewpoint: fibers over 1-cells
Let Π : E → B be a bundle of bicategories.
Let f : b → b′ be a 1-cell in B. Let e, e′ be 0-cells of E
such that Π(e) = b, Π(e′) = b′.
The fiber category Fibfe,e′ over f with respect to (e, e′):
f ∈ Ob Fibfe,e′ ⇒ f : e → e′ and Π(f ) = f
and
α ∈ Fibfe,e′(f , f ′) ⇒ α : f → f ′ and Π(α) = Idf .
![Page 57: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/57.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
The “geometric” viewpoint: parallel transportalong 2-cells
Since Π : E(e, e′) → B(Π(e),Π(e′)
)is a bundle of
categories, for each 2-cell
b
f
$$
g
::⇓ τ b′
there is a functor
∇τe,e′ : Fibf
e,e′ −→ Fibge,e′ .
![Page 58: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/58.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
The “geometric” viewpoint: parallel transportand composition
Furthermore, for all
b
f
$$
g
::⇓ τ b′
f ′
%%
g′
99⇓ τ ′ b′′
in B,
Fibfe,e′ × Fibf ′
e′,e′′C //
∇τe,e′×∇
τ ′e′,e′′
��
Fibf ′fe,e′′
∇τ ′τe,e′′
��
Fibge,e′ × Fibg′
e′,e′′C // Fibg′g
e,e′′
commutes.
![Page 59: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/59.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
Examples
Charted bundles with coefficients in a topologicalbicategory (cf., Baas-Dundas-Rognes orBaas-Bökstedt-Kro) naturally give rise to bundles ofbicategories.
Parametrized Kleisli constructions.
The domain projection from the Bénabou bicategoryof cylinders in a fixed bicategory B down to B is abundle of bicategories.
![Page 60: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/60.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
Work in progress
K-theory: All these categories of bundles admit“Whitney sum” and “tensor product”-type operations.What information does the associated “bundleK-theory” carry? Should englobe both topologicaland algebraic K-theory.
Homotopy theory: How do these bundle notionsinteract with the homotopy theory of Cat and ofBicat?
![Page 61: Bundle Theory for Categories - sma.epfl.chsma.epfl.ch/~hessbell/seca4.pdf · Title: Bundle Theory for Categories Author: Kathryn Hess Created Date: 6/9/2007 7:45:00 AM](https://reader034.vdocuments.site/reader034/viewer/2022051905/5ff739c9dd35dd4c9d155e2f/html5/thumbnails/61.jpg)
Bundle Theoryfor Categories
Kathryn Hess
Bundles of finitesets
Bundles ofcategories
Bundles ofmonoidalcategories
Bundles ofbicategories
Work in progress
K-theory: All these categories of bundles admit“Whitney sum” and “tensor product”-type operations.What information does the associated “bundleK-theory” carry? Should englobe both topologicaland algebraic K-theory.
Homotopy theory: How do these bundle notionsinteract with the homotopy theory of Cat and ofBicat?