HomeAboutPeopleEventsResearchRTGPositionsGuest ProgrammeImpressum
From SFB1085 - Higher Invariants
Jump to navigationJump to search- 09:03, 27 October 2022 diff hist +31 AG-Seminar WS2021/22:
- 15:21, 24 October 2022 diff hist +36 AG-Seminar WS2021/22:
- 19:42, 11 October 2022 diff hist 0 AG-Seminar WS2021/22:
- 14:08, 11 October 2022 diff hist +66 AG-Seminar WS2021/22:
- 09:28, 9 October 2022 diff hist +3 AG-Seminar WS2021/22:
- 09:27, 9 October 2022 diff hist 0 AG-Seminar WS2021/22:
- 09:26, 9 October 2022 diff hist -426 AG-Seminar WS2021/22:
- 09:21, 9 October 2022 diff hist +971 AG-Seminar WS2021/22:
- 14:48, 11 July 2022 diff hist -4 AG-Seminar WS2021/22:
- 14:47, 11 July 2022 diff hist +20 AG-Seminar WS2021/22:
- 14:46, 11 July 2022 diff hist +1,175 N 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..." current
- 14:44, 11 July 2022 diff hist +68 AG-Seminar WS2021/22:
- 09:00, 11 July 2022 diff hist +37 AG-Seminar WS2021/22:
- 07:31, 7 July 2022 diff hist +35 AG-Seminar WS2021/22:
- 06:56, 7 July 2022 diff hist +1 AG-Seminar WS2021/22:
- 06:56, 7 July 2022 diff hist +5 AG-Seminar WS2021/22:
- 06:55, 7 July 2022 diff hist +5 AG-Seminar WS2021/22:
- 06:54, 7 July 2022 diff hist +63 AG-Seminar WS2021/22:
- 15:09, 20 June 2022 diff hist +488 N Excisive Approximation of l^1-Homology Created page with "I will show how Lurie's translation of Goodwillie calculus to the ∞-categorial setting can be used to prove that the best excisive approximation to the ℓ¹-chain complex f..." current
- 15:08, 20 June 2022 diff hist +38 AG-Seminar WS2021/22:
- 08:44, 23 May 2022 diff hist +576 N Cdh motivic cohomology via prisms Created page with "In upcoming joint work with Matthew Morrow, we extended the theory of motivic cohomology to the setting of arbitrary qcqs schemes (over fields). One quarter of this theory con..." current
- 08:44, 23 May 2022 diff hist +34 AG-Seminar WS2021/22:
- 07:45, 23 May 2022 diff hist 0 AG-Seminar WS2021/22:
- 07:45, 23 May 2022 diff hist +1 AG-Seminar WS2021/22:
- 13:53, 15 May 2022 diff hist +23 AG-Seminar WS2021/22: Tag: Visual edit: Switched
- 13:52, 15 May 2022 diff hist +286 N Universal cohomology theories Created page with "I will survey recent results as part of a program that aims to construct (relative, ordinary, Weil, etc.) cohomology theories in abelian (rigid tensor) categories through univ..." current
- 13:51, 15 May 2022 diff hist +4 AG-Seminar WS2021/22: Tag: Visual edit: Switched
- 13:51, 15 May 2022 diff hist +26 AG-Seminar WS2021/22: Tag: Visual edit: Switched