uniのスケッチノート

しがない数学徒の勉強ノートなど

Barr の定理(修正版)

数日前に書いたこちらの記事の pdf ではアヤシイ部分がありました。 unununum.hatenablog.com 当該箇所の証明を付けたり、色々と加筆&修正したものがこちらになります。 www.dropbox.com (この証明を書いているときに、フィルターとネットの pdf にある Mane…

位相空間の定義

この記事と pdf は Math Advent Calendar 2017 の 15日目に向けて書いたものです。 Math Advent Calendar 2017 - Adventar pdf はこちらから。 www.dropbox.com いい機会なので、これまでこのブログに up してきた pdf (フィルターとネット のやつや一昨日の…

Barr の定理

この記事と pdf は Category Theory Advent Calendar 2017 の 12日目に向けて書いたものです。 Category Theory Advent Calendar 2017 - Adventar pdf はこちらから。 www.dropbox.com 3/2-圏(順序圏)についての話と告知していたので、Barr の定理の証明を書…

2-圏の定義

この記事と pdf は Category Theory Advent Calendar 2017 の 5日目に向けて書いたものです。 Category Theory Advent Calendar 2017 - Adventar pdf はこちらから。*1 www.dropbox.com 圏論の話をすることになったので、2-圏の定義を書きました。内容をもう…

(メモ書き)TeXstudio でのコマンド補完を手動で追加する方法

Texmaker でコマンド補完を追加する操作を、TeXstudio で再現する方法です。

フィルターとネットの基本事項

位相空間論で出てくるフィルターとネットについての基本的な事項を色々と書いたもの。まだ書きかけです。 www.dropbox.com

局所コンパクトの定義といくつかの反例

投稿テストのために突貫工事で作ったpdfです。 www.dropbox.com

はじめに

このブログでは、数学徒の端くれである私が勉強したことなどを不定期的に書いていこうかなと予定しています。 簡単に自己紹介をします。 数学科2年生(2016年度現在) 興味のある分野はトポス理論、トポロジー、ロジックなど ということで、このブログにまとめ…