https://hayatonasu.github.io/notes/note-on-sear/ 2023-12-08T00:00:00+00:00 https://hayatonasu.github.io/notes/terminals-are-pointwise/ 2024-12-17T00:00:00+00:00 https://hayatonasu.github.io/notes/concrete-sheaves-generated-spaces/ 2026-04-23T00:00:00+00:00 https://hayatonasu.github.io/notes-ja/intro-internal-logic/ 2022-12-18T00:00:00+00:00 https://hayatonasu.github.io/notes-ja/crible-enrich/ 2023-12-18T00:00:00+00:00 https://hayatonasu.github.io/papers/internal-logic-virtual-double-categories/ 2024-10-09T00:00:00+00:00 https://hayatonasu.github.io/papers/logical-aspects-virtual-double-categories/ 2025-01-31T00:00:00+00:00 https://hayatonasu.github.io/papers/double-categories-relations-factorisation-systems/ 2025-04-01T00:00:00+00:00 https://hayatonasu.github.io/papers/decomposition-strong-epimorphism/ 2026-04-07T00:00:00+00:00 https://hayatonasu.github.io/blog/2026/08/12/hello-world/ 2026-08-12T00:00:00+00:00 https://hayatonasu.github.io/talks/dcr-thursday-seminar/ 2023-11-16T00:00:00+00:00 https://hayatonasu.github.io/talks/structural-set-theory-fmyg23/ 2023-12-08T00:00:00+00:00 https://hayatonasu.github.io/talks/doctrine-as-vdc/ 2024-03-14T00:00:00+00:00 https://hayatonasu.github.io/talks/dcr-ct2024/ 2024-06-25T00:00:00+00:00 https://hayatonasu.github.io/talks/anticolimits-cscs2024/ 2024-10-31T00:00:00+00:00 https://hayatonasu.github.io/talks/logic-winter-school-2025/ 2025-02-21T00:00:00+00:00 https://hayatonasu.github.io/talks/kctm2025/ 2025-02-22T00:00:00+00:00 https://hayatonasu.github.io/talks/cscat2025/ 2025-03-11T00:00:00+00:00 https://hayatonasu.github.io/talks/cms2025-poster/ 2025-06-09T00:00:00+00:00 https://hayatonasu.github.io/talks/cms2025/ 2025-06-09T00:00:00+00:00 https://hayatonasu.github.io/talks/fmcs2025/ 2025-06-18T00:00:00+00:00 https://hayatonasu.github.io/talks/ct2025/ 2025-07-14T00:00:00+00:00 https://hayatonasu.github.io/talks/atcat2025/ 2025-12-02T00:00:00+00:00 https://hayatonasu.github.io/talks/cms2026/ 2026-06-08T00:00:00+00:00 https://hayatonasu.github.io/talks/relative-simplicity-clans/ 2026-07-16T00:00:00+00:00 https://hayatonasu.github.io/blog/ https://hayatonasu.github.io/notejapanese.html https://hayatonasu.github.io/others.html https://hayatonasu.github.io/papers.html https://hayatonasu.github.io/talks.html https://hayatonasu.github.io/fonts/academicons-1.9.4/ https://hayatonasu.github.io/Papers/FVDblTT.pdf 2026-08-13T02:06:36+00:00 https://hayatonasu.github.io/Papers/SEAR.pdf 2026-08-13T02:06:36+00:00 https://hayatonasu.github.io/Papers/concretesheaves.pdf 2026-08-13T02:06:36+00:00 https://hayatonasu.github.io/Papers/cribleenrich.pdf 2026-08-13T02:06:36+00:00 https://hayatonasu.github.io/Papers/dcrfs.pdf 2026-08-13T02:06:36+00:00 https://hayatonasu.github.io/Papers/huhenproof.pdf 2026-08-13T02:06:36+00:00 https://hayatonasu.github.io/Papers/introinter.pdf 2026-08-13T02:06:36+00:00 https://hayatonasu.github.io/Papers/masterthesissubmitted.pdf 2026-08-13T02:06:37+00:00 https://hayatonasu.github.io/Papers/masterthesisupdated.pdf 2026-08-13T02:06:37+00:00 https://hayatonasu.github.io/Papers/pointwise.pdf 2026-08-13T02:06:37+00:00 https://hayatonasu.github.io/Talks/CMS2025.pdf 2026-08-13T02:06:37+00:00 https://hayatonasu.github.io/Talks/CMS2026.pdf 2026-08-13T02:06:37+00:00 https://hayatonasu.github.io/Talks/CSCAT2025.pdf 2026-08-13T02:06:37+00:00 https://hayatonasu.github.io/Talks/CT2025.pdf 2026-08-13T02:06:37+00:00 https://hayatonasu.github.io/Talks/DCR-CT2024.pdf 2026-08-13T02:06:37+00:00 https://hayatonasu.github.io/Talks/DCR-thursdayseminar.pdf 2026-08-13T02:06:37+00:00 https://hayatonasu.github.io/Talks/FMCS2025.pdf 2026-08-13T02:06:37+00:00 https://hayatonasu.github.io/Talks/KCTM2025.pdf 2026-08-13T02:06:37+00:00 https://hayatonasu.github.io/Talks/LWS2025.pdf 2026-08-13T02:06:37+00:00 https://hayatonasu.github.io/Talks/Structural_set_theory_fmyg23.pdf 2026-08-13T02:06:37+00:00 https://hayatonasu.github.io/Talks/anticolimits_cscs2024.pdf 2026-08-13T02:06:37+00:00 https://hayatonasu.github.io/Talks/atcat2025.pdf 2026-08-13T02:06:37+00:00 https://hayatonasu.github.io/Talks/cmssum2025pos.pdf 2026-08-13T02:06:37+00:00 https://hayatonasu.github.io/Talks/doctrine_as_vdc.pdf 2026-08-13T02:06:37+00:00 https://hayatonasu.github.io/dcr_intro.html 2026-08-13T02:06:37+00:00 https://hayatonasu.github.io/googlefcd4ba1efa6347cc.html 2026-08-13T02:06:37+00:00 https://hayatonasu.github.io/ 2026-08-13T02:06:37+00:00