« first day (1859 days earlier)      last day (1544 days later) » 

Aaron Mazel-Gee
Aaron Mazel-Gee
13:30
@RuneHaugseng this all sounds intriguing, what was the talk about?
Rune Haugseng
Rune Haugseng
@AaronMazel-Gee It was about a construction of an (n+1)-category of enriched n-categories (extending that of E_n-algebras).

« first day (1859 days earlier)      last day (1544 days later) »