pi

円周率

2018-12-19から1日間の記事一覧

D-prestackについて

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