Text only print
Full screen print
Today's seminar
Seminar information archive ～06/30｜Today's seminar 07/01 | Future seminars 07/02～
2025/07/01
Operator Algebra Seminars
16:45-18:15 Room #117 (Graduate School of Math. Sci. Bldg.)
Mao Hoshino (Univ. Tokyo)
A tensor categorical aspect of quantum group actions
[ Reference URL ]
https://www.ms.u-tokyo.ac.jp/~yasuyuki/tokyo-seminar.htm
Mao Hoshino (Univ. Tokyo)
A tensor categorical aspect of quantum group actions
[ Reference URL ]
https://www.ms.u-tokyo.ac.jp/~yasuyuki/tokyo-seminar.htm
Tuesday Seminar on Topology
17:00-18:00 Room #hybrid/056 (Graduate School of Math. Sci. Bldg.)
Pre-registration required. See our seminar webpage.
Genki Sato (Fcuro, Inc.)
Presentation of finite Reedy categories as localizations of finite direct categories (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Genki Sato (Fcuro, Inc.)
Presentation of finite Reedy categories as localizations of finite direct categories (JAPANESE)
[ Abstract ]
In this talk, we present a novel construction that, for a given Reedy category $C$, produces a direct category $\operatorname{Down}(C)$ and a functor $\operatorname{Down}(C) \to C$, exhibiting $C$ as an $(\infty,1)$-categorical localization of $\operatorname{Down}(C)$. This result refines previous constructions in the literature by ensuring that $\operatorname{Down}(C)$ is finite whenever $C$ is finite—a property not guaranteed by existing approaches, such as those by Lurie or by Barwick and Kan. As an intended future application, this finiteness property is expected to be useful for embedding the construction into the syntax of a (non-infinitary) logic. In particular, I expect that the construction may be used to develop a meta-theory of finitely truncated simplicial types and other finite Reedy presheaves for homotopy type theory, thereby extending Kraus and Sattler's unfinished approach. This talk is based on arXiv:2502.05096.
[ Reference URL ]In this talk, we present a novel construction that, for a given Reedy category $C$, produces a direct category $\operatorname{Down}(C)$ and a functor $\operatorname{Down}(C) \to C$, exhibiting $C$ as an $(\infty,1)$-categorical localization of $\operatorname{Down}(C)$. This result refines previous constructions in the literature by ensuring that $\operatorname{Down}(C)$ is finite whenever $C$ is finite—a property not guaranteed by existing approaches, such as those by Lurie or by Barwick and Kan. As an intended future application, this finiteness property is expected to be useful for embedding the construction into the syntax of a (non-infinitary) logic. In particular, I expect that the construction may be used to develop a meta-theory of finitely truncated simplicial types and other finite Reedy presheaves for homotopy type theory, thereby extending Kraus and Sattler's unfinished approach. This talk is based on arXiv:2502.05096.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
