|
Description: |
I'll explain how every lax idempotent (=KZ) 2-monad has a canonical structure of a pseudo-commutative 2-monad. In the case of the 2-monad R whose algebras are categories with finite colimits, this gives rise to a (pseudo) monoidal structure on R-Alg, corresponding to a pseudo-closed structure. If time permits, I'll explain why this tensor product extends Deligne's tensor product of abelian categories. I'll only assume some familiarity with the theory of 2-monads as in Blackwell-Kelly-Power.
|
Date: |
|
Start Time: |
15:30 |
Speaker: |
Ignacio Lopez Franco (CMUC/Mat.FCTUC)
|
Institution: |
--
|
Place: |
Room 5.5
|
Research Groups: |
-Algebra, Logic and Topology
|
See more:
|
<Main>
|
|