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

• 15:46, 11 July 2022 Buu10307 talk contribs created page Synthetic (∞,1)-category theory in simplicial homotopy type theory (Created page with "Abstract: Homotopy type theory (HoTT), due to Voevdsky, Awodey--Warren et. al., is a foundation system alternative to set theory in which one can do homotopy theory synthetica...")