The Tricategory of Bicategories
In this chapter, the tricategory of bicategories is presented in full detail. After a preliminary discussion of the whiskerings of a lax transformation with a lax functor, the chapter goes on to define a tricategory. The rest of the chapter proves in detail the existence of a tricategory with small bicategories as objects (i.e. a tricategory of bicategories), pseudofunctors as 1-cells, strong transformations as 2-cells, and modifications as 3-cells.
Keyword(s):
2018 ◽
2018 ◽
Vol 11
(7)
◽
pp. 2789-2812
◽
Keyword(s):
2010 ◽
Vol 43
(3)
◽
pp. 35-52
◽
Keyword(s):
2020 ◽
Vol 4
(14)
◽
2000 ◽
Vol 70
(3)
◽
pp. 370-405
◽
Keyword(s):
Keyword(s):