2015-04-07から1日間の記事一覧

無限圏概観：射の可逆化

無限圏概観

標識付き単体的集合単体的モデル圏の場合アーベル圏の導来圏一定の射の族を可逆化して新しい圏を作るという操作をわれわれは昔からおこなって来ました。アーベル圏から作った複体の圏で擬同型を可逆化すると導来圏が得られますし、モデル圏で弱同値を可逆…