Eita Haibara (Algebraic K-theory)
Taewan Kim (Higher analytic geometry)
Raw Intelligence (Topos theory)
Notice
11.06.2024: Team research will begin in Aug 2025. Check: ペトリコール (Our first long paper Team Project)
10.06.2024: Eita Haibara had stopped researching mathematics for a while.(~ Aug 2025)
09.30.2024: Raw Intelligence joined Pocariteikoku !
09.09.2024: We updated proposition 3.1.1, lemma 3.1.4 ! Check: Relative-Hyper GAGA theorem [v3]