2018-12-19から1日間の記事一覧
この記事はCategory Theory Advent Calendar 2018の19日目の記事です。 adventar.org derived algebraic geometryというものがあり、それについて勉強しようと思ったので、その入り口のところであるToenによるD-prestackについてまとめます。実際にはModel圏…
この記事はCategory Theory Advent Calendar 2018の19日目の記事です。 adventar.org derived algebraic geometryというものがあり、それについて勉強しようと思ったので、その入り口のところであるToenによるD-prestackについてまとめます。実際にはModel圏…