Iterated traces in any 2-dualizable symmetric monoidal bicategory commute, recovering and extending a wide family of Lefschetz-type theorems.
Bimodules and natural transformations for enriched $\infty$-categories
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
We introduce a notion of bimodule in the setting of enriched $\infty$-categories, and use this to construct a double $\infty$-category of enriched $\infty$-categories where the two kinds of 1-morphisms are functors and bimodules. We then consider a natural definition of natural transformations in this context, and show that in the underlying $(\infty,2)$-category of enriched $\infty$-categories with functors as 1-morphisms the 2-morphisms are given by natural transformations.
fields
math.AT 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Iterated traces in 2-categories and Lefschetz theorems
Iterated traces in any 2-dualizable symmetric monoidal bicategory commute, recovering and extending a wide family of Lefschetz-type theorems.