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

• 01:26, 5 February 2025 Cid36224 talk contribs created page Limits of (∞, 1)-categories with Structure & Their Lax Morphisms (Created page with "We study limits of (∞, 1)-categories with structure and the lax morphisms between them by introducing the notion of enhanced simplicial categories. We establish that many interesting enhanced simplicial categories, including that of (∞, 1)-categories with limits, and that of (discrete) Cartesian fibrations between (∞, 1)-categories, admit several kinds of limits that involve lax morphisms in the diagrams, such as Eilenberg-Moore objects over monads that are lax mor...")