Kleisli construction and its properties
読者の中には、数学の内容がpdfで投稿される事に気づいた人がいるかも知れません。 正にメンテナンス性の為に今ではこうしているのですが[1]WordPressで数式を取り扱う時に私は QuickLatex &#x … 続きを読む
Mathematics
A small example of algebra turns out to be a semi-lattice
In this article, we will introduce a concrete example (found in CWM) of interchanging distinct structures of a … 続きを読む
A general method of constructing a colimit
While a colimit is of a typical object in category theory hence so much in the closely related areas such as c … 続きを読む
講義動画のレジュメ: K-Theory, 1-2
先日K-Theoryの一人輪講シリーズを再開しました. 私自身の時間がなかなか取れないことも要因の一つではありますが, 何よりトピックの難しさが私を苦しめたのは事実です. 1年2カ月が経過しましたが, 余裕を持って内容を … 続きを読む
Measure theory: convergences and inequalities summary
We summarized classical (yet prominent) results in measure theory for easy reference. Please consult the proof … 続きを読む
Structural attribution of fundamental complexes in category terms
We sometimes want to restrict the scope of objects depending on what subject we are dealing with, roughly betw … 続きを読む
最近のデータ分類とhomotopy persistentな組み合わせ対象について
用途に合う構造 (e.g. 形式や型) を与えたデータは (c.f. モデリング)、蓄積された時に表す意味を解釈しやすい。 現実の世界では全てのデータにこうした構造を与えられる訳ではなく、また個々のデータに構造が与えられ … 続きを読む
Boolean algebra v.s. Heyting algebra
【2021/10/12 ラジオ】Coqとか証明駆動開発とかに関するファクトチェックをした時のノートをlatexで書き起こしたものです. 興味がある方は参考にどうぞ. ※ブログメンテナンスの影響で, 記事番号が変わりました … 続きを読む