HomeAboutPeopleEventsResearchRTGGuest ProgrammeImpressum

Combined display of all available logs of SFB1085 - Higher Invariants. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 14:46, 28 June 2026 Vom41941 talk contribs created page The Cubes Functor of (∞,n)-Categories (Created page with "The cubes functor is a direction-symmetric functor from n-categories to n-uple categories. In joint work in progress with Shai Keidar, we prove that the cubes functor is fully faithful and identify its essential image, extending recent results in the case n=2. We also consider the non-univalent setting. There, the cubes functor is not fully faithful, but it is both monadic and comonadic, allowing us to describe non-univalent n-categories in terms of non-univalent n-up...")
• 13:37, 5 June 2026 Wic42659 talk contribs created page The span-squares adjunction (Created page with "We establish an adjunction between infinity-categories and double infinity-categories, where the left adjoint is the span category construction, viewed as a functor on double infinity-categories. Using this adjunction, we obtain new proofs of the equivalences between different models of algebraic 𝐾-theory, given by the Q-, the S-, the cobordism model, and the squares construction")
• 11:05, 19 May 2026 Wic42659 talk contribs created page On the geometrization of synthetic spectra (Created page with "The category of synthetic spectra is a strong tool for understanding the Adams-Novikov spectral sequence and acts as a 1-parameter deformation between spectra and quasi-coherent sheaves on the moduli stack of formal groups. One perspective on the Adams-Novikov spectral sequence is that it is the descent spectral sequence for the moduli stack of formal groups. In this talk I will present an approach which, to any geometric (non-connective) spectral stack X, produces a cat...")
• 10:00, 1 May 2026 Vom41941 talk contribs created page Monadic resolutions for (generalized) spaces (Created page with "Understanding the homotopy type of a space often benefits from studying its values under homology theories. Every homology theory determines a Bousfield localization on the category of spaces — for example, rational cohomology leads to rationalization, while $F_p$-homology induces $p$-completion. In favorable cases, these localizations admit explicit descriptions via monadic resolutions. A key example is the $p$-completion $L_p X$ of a nilpotent space $X$, which can...")
• 18:48, 24 April 2026 Vom41941 talk contribs created page Calabi—Yau structures on constructible sheaves categories (Created page with "For X a compact oriented topological manifold and k a field, Verdier duality on locally constant sheaves of k-modules on X can be encoded in a non-commutative symplectic structure, called Calabi—Yau structure. Brav—Dyckerhoff also introduced a relative notion of such, which allows one to recover Verdier duality for manifolds with boundaries. If now X is equipped with a (nice enough) finite stratification P, we show that there exists a Calabi—Yau structure on the k-...")
• 21:48, 17 April 2026 Vom41941 talk contribs created page Presenting the stratified homotopy hypothesis (Created page with "The stratified homotopy hypothesis proclaims an equivalence between a homotopy theory of stratified spaces, and the homotopy theory of such small (infinity,1)-categories in which every endomorphism is an isomorphism. In this talk, after an introduction into the homotopy theory of stratified spaces, I want to talk about an explicit presentation of this proclaimed equivalence in terms of a Quillen equivalence using Lurie’s construction of the infinity-category of exit-pa...")