The formal theory of adjunctions, monads, algebras, and descent
Presenter
April 8, 2014
Keywords:
- 2-categories
- 2-categories
- (infinity, 2)-categories
- higher category theory
- weighted limits
- Bar resolution
- monads and descend
- simplicial sets
MSC:
- 18Cxx
- 18C15
- 18C20
- 18Dxx
- 18D05
- 18D20
- 18D25
- 18D30
- 18D50