‘åŠw‰@ƒZƒ~ƒi�[‚Ì—\’è

2020”N“xSƒZƒ�ƒXƒ^�[

ƒZƒ~ƒi�[‚̓Iƒ“ƒ‰ƒCƒ“‚ÅŽÀŽ{

5ŒŽ11“ú�iŒŽ�j 15:00 --
–Ø‘º –ž�W -- Quasimorphisms and bounded cohomology


5ŒŽ25“ú�iŒŽ�j 15:00 --
�²“¡ ŒºŠî -- Geometric realizations in Homotopy Type Theory


6ŒŽ8“ú�iŒŽ�j 15:00 --
�²“¡ ŒºŠî -- Geometric realizations in Homotopy Type Theory


6ŒŽ22“ú�iŒŽ�j 15:00 --
�²“¡ ŒºŠî -- Geometric realizations in Homotopy Type Theory


7ŒŽ6“ú�iŒŽ�j 15:00 --
‹g“c �ƒ -- Joint work with Noboru Ito


2019”N“xAƒZƒ�ƒXƒ^�[

‘åŠw‰@�W’†ƒZƒ~ƒi�[ 9ŒŽ24“ú -- 27“ú
9ŒŽ24“ú�@118�†Žº
9ŒŽ25“ú -- 27“ú 056�†Žº

Timetable


ŒŽ—j“ú 470�†Žº
‹à—j“ú 470�†Žº


10ŒŽ7“ú�iŒŽ�j 16:00 --
�ó”ö ‘וF -- Magnitude homology of CAT(κ) spaces


10ŒŽ21“ú�iŒŽ�j 15:00 --
�²“¡ ŒºŠî -- Geometric realizations of families in Homotopy Type Theory


10ŒŽ28“ú�iŒŽ�j 15:00 --
Sergei Burkin -- Twisted category of an operad


11ŒŽ18“ú�iŒŽ�j 15:00 --
�ó”ö ‘וF -- Magnitude homology of crushable spaces


11ŒŽ25“ú�iŒŽ�j 17:30 --
�²“¡ ŒºŠî -- Geometric realizations of families in Homotopy Type Theory


1ŒŽ24“ú�i‹à�j 15:00 --
Sergei Burkin -- Twisted arrow operads and Segal conditions


1ŒŽ27“ú�iŒŽ�j 15:00 --
�ó”ö ‘וF -- Magnitude homology and Vietoris-Rips homology of geodesic metric spaces


2ŒŽ10“ú�iŒŽ�j 15:00 --
�²“¡ ŒºŠî -- Geometric realizations of families in Homotopy Type Theory


2ŒŽ21“ú�i‹à�j 15:00 --
�²“¡ ŒºŠî -- Geometric realizations of families in Homotopy Type Theory


2ŒŽ28“ú�i‹à�j 15:00 --
�²“¡ ŒºŠî -- Geometric realizations of families in Homotopy Type Theory
Rescheduled


‰ß‹Ž‚̃Zƒ~ƒi�[