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