桜音2
ogntom.bsky.social
関心のあるのは、数学、論理学、物理学、AIと積極財政(反緊縮)の経済政策・UBI(universal basic income)と再エネ・気候変動・EVです。猫が好きです。
👤 Joined on 10 August 2026
5
Followers
35
Following
9
Total Posts
📜 Kullanıcı Geçmişi
- 10 Ağu 2026, 08:52
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@ogntom.bsky.social
🚫 Blokladığı Kullanıcılar
Bu kullanıcının blokladığı kullanıcı bulunamadı.
❤️ Beğendiği Gönderiler
2026年10月15日 『結びつく圏論』 Emily Riehl/前原 悠究 (丸善出版) [Book] https://sinkan.net/?ean=9784621313374&action_item=true #新刊情報 #sinkan
Show Post
圏と関手で「集合と位相」を表現すれば「被覆、層、トポス」になる。トポスの射は関手の随伴対なので高次の圏が必要になる。対応する高次被覆の文法は、ホモトピー論で模圏(Quillenモデル圏)といわれる構造になる。初等的な集合論と位相空間論をもとに、トポスでの抽象単体ホモトピー論となる模圏構造を論ずる。 原田雅名 『関手のトポロジー』 www.iwanami.co.jp/book/b101940...
Show Post