Note on the conflation of relabeling with opposite
This note isolates a small ambiguity that occurs when one moves between covariant and contravariant functors i … 続きを読む
Category Theory
Note on Sierpiński Classifier
Elementary note. A Sierpiński space is introduced along with its representability of the open-set functor , th … 続きを読む
Meaning of (n,r)-Category
A useful notation with unstable boundaries The notation (n,r)-category is meant to classify higher categories … 続きを読む
Memo in a reduction strategy of a map
This is my random thought on how we should investigate the properties of a map in general. The mapping path sp … 続きを読む
The Fractions
Fractions are deceptively difficult. I have seen many parents agonize over how to explain concepts like 1/4 or … 続きを読む
Sheafification as a free construction
In the world of algebra, we often encounter “free” constructions. Think of the free group or the p … 続きを読む
Note on the element generation of an algebraic colimit
This is a revised version of a previous note, originally posted on February 20, 2023.
Note on the finality
The finality is a functorial property that induces a sort of surjectivety in the diagram of hom-set of codomai … 続きを読む
Kleisli construction and its properties
読者の中には、数学の内容がpdfで投稿される事に気づいた人がいるかも知れません。 正にメンテナンス性の為に今ではこうしているのですが[1]WordPressで数式を取り扱う時に私は QuickLatex &#x … 続きを読む
