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

• 17:07, 6 May 2022 132.199.243.28 talk created page A double (∞,1)-categorical nerve for double categories (Created page with "A 2-category can be seen as an internal category to categories with discrete category of objects, i.e., a horizontal double category with only trivial vertical morphisms. Some...")