「対象」と呼ばれる何らかの集合の要素と、対象同士の有向な関係を表す「射」からなる構造で、2つ以上の射を辿る経路とそれらの始点と終点を結ぶ射が同一と見做せて、かつ辿ってももと居た対象辿り着くような射「恒等射」を定義出来るようなものを「圏」と呼ぶ、と
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
「対象」と呼ばれる何らかの集合の要素と、対象同士の有向な関係を表す「射」からなる構造で、2つ以上の射を辿る経路とそれらの始点と終点を結ぶ射が同一と見做せて、かつ辿ってももと居た対象辿り着くような射「恒等射」を定義出来るようなものを「圏」と呼ぶ、と