ﻻ يوجد ملخص باللغة العربية
We construct higher categories of iterated spans, possibly equipped with extra structure in the form of local systems, and classify their fully dualizable objects. By the Cobordism Hypothesis, these give rise to framed topological quantum field theories, which are the fram
We show that Segal spaces, and more generally category objects in an $infty$-category $mathcal{C}$, can be identified with associative algebras in the double $infty$-category of spans in $mathcal{C}$. We use this observation to prove that having iden
While not obvious from its initial motivation in linear algebra, there are many context where iterated traces can be defined. In this paper we prove a very general theorem about iterated 2-categorical traces. We show that many Lefschetz-type theorems
We give a new proof of the equivalence between two of the main models for $(infty,n)$-categories, namely the $n$-fold Segal spaces of Barwick and the $Theta_{n}$-spaces of Rezk, by proving that these are algebras for the same monad on the $infty$-cat
We show that an important classical fixed point invariant, the Reidemeister trace, arises as a topological Hochschild homology transfer. This generalizes a corresponding classical result for the Euler characteristic and is a first step in showing the
We show that a derivator is stable if and only if homotopy finite limits and homotopy finite colimits commute, if and only if homotopy finite limit functors have right adjoints, and if and only if homotopy finite colimit functors have left adjoints.