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...")