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

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