| Property |
Value |
| dbo:abstract
|
- 数学の一分野である圏論において関係の圏（かんけいのけん、英: category of relations）Rel は、すべての集合を対象とし、すべての二項関係を射とする圏である。 この圏における射 R: A → B が A, B 間の関係であるというのは、 R ⊆ A × B であることを意味する。 二つの関係 R: A → B, S: B → C の合成は (a, c) ∈ S ∘ R ⇔ ∃b ∈ B s.t. (a, b) ∈ R かつ (b, c) ∈ S で与えられる。 (ja)
- 数学の一分野である圏論において関係の圏（かんけいのけん、英: category of relations）Rel は、すべての集合を対象とし、すべての二項関係を射とする圏である。 この圏における射 R: A → B が A, B 間の関係であるというのは、 R ⊆ A × B であることを意味する。 二つの関係 R: A → B, S: B → C の合成は (a, c) ∈ S ∘ R ⇔ ∃b ∈ B s.t. (a, b) ∈ R かつ (b, c) ∈ S で与えられる。 (ja)
|
| dbo:thumbnail
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 2744 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-en:align
| |
| prop-en:alt
|
- Rel (ja)
- Relop (ja)
- Rel (ja)
- Relop (ja)
|
| prop-en:caption
|
- 反対圏 (ja)
- 関係圏 (ja)
- 反対圏 (ja)
- 関係圏 (ja)
|
| prop-en:direction
|
- horizontal (ja)
- horizontal (ja)
|
| prop-en:headerAlign
| |
| prop-en:id
|
- bicategory+of+relations (ja)
- bicategory+of+relations (ja)
|
| prop-en:image
|
- Relations category op.svg (ja)
- Relations category.svg (ja)
- Relations category op.svg (ja)
- Relations category.svg (ja)
|
| prop-en:title
|
- bicategory of relations (ja)
- bicategory of relations (ja)
|
| prop-en:width
| |
| prop-en:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- 数学の一分野である圏論において関係の圏（かんけいのけん、英: category of relations）Rel は、すべての集合を対象とし、すべての二項関係を射とする圏である。 この圏における射 R: A → B が A, B 間の関係であるというのは、 R ⊆ A × B であることを意味する。 二つの関係 R: A → B, S: B → C の合成は (a, c) ∈ S ∘ R ⇔ ∃b ∈ B s.t. (a, b) ∈ R かつ (b, c) ∈ S で与えられる。 (ja)
- 数学の一分野である圏論において関係の圏（かんけいのけん、英: category of relations）Rel は、すべての集合を対象とし、すべての二項関係を射とする圏である。 この圏における射 R: A → B が A, B 間の関係であるというのは、 R ⊆ A × B であることを意味する。 二つの関係 R: A → B, S: B → C の合成は (a, c) ∈ S ∘ R ⇔ ∃b ∈ B s.t. (a, b) ∈ R かつ (b, c) ∈ S で与えられる。 (ja)
|
| rdfs:label
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |