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 … 続きを読む
Category Theory
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 … 続きを読む
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 … 続きを読む
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 … 続きを読む