@gunron-tan.bsky.socialSep 27, 2026, 8:08 AM #代数系の初歩 10#マグマ (数学) 英:magmahttps://ja.wikipedia.org/wiki/...・ #亜群(あぐん, groupoid)とも呼ばれる.ただしこれとは別に，#圏論 に「亜群」という用語があるので混同してはならない.・ #二項演算 が #閉じている ことを要求しそれ以外の何らの #公理 も課さない.
@kawariu23old.misskey.io.ap.brid.gySep 9, 2026, 4:28 AM #圏論 #擬似圏論米田埋め込みはなぜ「埋め込み」と呼ばれているのか、を圏論的に説明することはできるのだろうか。ベシ圏の説明はちょっと集合論的だよなあ……そもそも「埋め込み」ってなんだ？引き戻しとして与えられる関手のこと？わからん……
@gunron-tan.bsky.social
@kawariu23old.misskey.io.ap.brid.gy