圈論に於ける同型や同値の槪念
對象$ a,bが同型である$ a\cong bとは、射$ f:a\to bと射$ g:b\to aが有り、$ g;f={\rm id}_a且つ$ f;g={\rm id}_bを滿たす事を言ふ。$ gを$ f^{-1}と書く、又は$ fを$ g^{-1}と書く。$ f,gを同型射 (isomorphism) と呼ぶ。 代數構造を保つ寫像
臺集合だけでは準同型は定まらない。代數構造が定まると準同型が定まる$ \iff準同型が定まると代數構造が定まる 逆寫像が在りそれも準同型であれば、同型であると言ふ 述語 (predicate)$ Pを滿たす對象が同型を除いて一意とは、$ \forall x,y_{\in\{x|P(x)\}}(x\cong y)である事を言ふ
等式ではない
自然變換$ \etaが自然同型である、卽ち二つの函手が自然同型であるとは、$ \etaを構成する射 (成分 (component)) が全て同型射である事を言ふ 圈同型 (isomorphism of categories) 圈$ \bf C,$ \bf Dが圈同型であるとは、函手$ F:{\bf C}\to{\bf D},$ G:{\bf D}\to{\bf C}が在り$ G;F={\rm Id}_{\bf C},$ F;G={\rm Id}_{\bf D}を滿たす事を言ふ 同型を除いて考へた (up to iso) 圈同型 圈同値 (equivalence of categories) 圈$ \bf C,$ \bf Dと函手$ F:{\bf C}\to{\bf D},$ G:{\bf D}\to{\bf C}が圈同値である$ {\bf C}\cong{\bf D}とは、恆等函手への自然同型$ \epsilon:(G;F)\to{\rm Id}_{\bf D},$ \eta:(F;G)\to{\rm Id}_{\bf C}が在る事を言ふ