CounterpediaExplore knowledge. Follow the sources.

cartesian closed category

Relationships observed in Wikidata. Connections do not establish verification or source support.

Release: sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7

Provider: Wikidata · graph projection only.

OBSERVED · GRAPH-PROJECTION · NOT ADMITTED · NOT VERIFIED · NOT SUPPORT

Edge identity is the provider property id (for example P31). It is not a Counterpedia predicate.

Development requests are not available on this deployment. The observed entity and its graph links remain readable.

Relationships of cartesian closed category

Show relationship types (drawing only; the text lists are unaffected)
subclass of (Observed provider relationships)studied by (Observed provider relationships)named after (Observed provider relationships)subclass of (Observed provider relationships)cartesian closed category — Wikidata entity (Q1725874)cartesian closedcategoryWIKIDATA ENTITYcartesian monoidal category — Wikidata entity (Q18205845)cartesianmonoidal…WIKIDATA ENTITYcategory theory — Wikidata entity (Q217413)category theoryWIKIDATA ENTITYRené Descartes — Wikidata entity (Q9191)René DescartesWIKIDATA ENTITYclosed monoidal category — Wikidata entity (Q5135347)closed monoidalcategoryWIKIDATA ENTITY

Legend

  • Governed record relationships (solid)
  • Countergraph traversal (dashed)
  • Countergraph evidence (dotted)
  • Observed provider relationships (dash-dot)
  • Structurally derived (sparse dots)

Node shape identifies node kind only. Size, color, and position carry no meaning beyond hop distance from the root.

A line means a supported artifact carried an explicit structured relation. It does not mean the relation is true, admitted, verified, or authoritative.

Graph as text

Nodes (5)

  • cartesian closed category — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q1725874
    stable_ref
    Q1725874
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q1725874
    provider
    wikidata
    entity_href
    /entries/wikidata/Q1725874
  • cartesian monoidal category — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q18205845
    stable_ref
    Q18205845
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q18205845
    provider
    wikidata
    entity_href
    /entries/wikidata/Q18205845
  • category theory — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q217413
    stable_ref
    Q217413
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q217413
    provider
    wikidata
    entity_href
    /entries/wikidata/Q217413
  • René Descartes — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q9191
    stable_ref
    Q9191
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q9191
    provider
    wikidata
    entity_href
    /entries/wikidata/Q9191
  • closed monoidal category — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q5135347
    stable_ref
    Q5135347
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q5135347
    provider
    wikidata
    entity_href
    /entries/wikidata/Q5135347

Edges (4)

  • cartesian closed category — subclass of → cartesian monoidal category — Observed provider relationships
    Technical details
    machine_predicate
    P279
    predicate_ref
    wikidata:property:P279
    provider
    wikidata
    provider_direction
    outgoing
    plane
    provider_observed
    edge_id
    wikidata:relation:0:P279
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • cartesian closed category — studied by → category theory — Observed provider relationships
    Technical details
    machine_predicate
    P2579
    predicate_ref
    wikidata:property:P2579
    provider
    wikidata
    provider_direction
    outgoing
    plane
    provider_observed
    edge_id
    wikidata:relation:1:P2579
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • cartesian closed category — named after → René Descartes — Observed provider relationships
    Technical details
    machine_predicate
    P138
    predicate_ref
    wikidata:property:P138
    provider
    wikidata
    provider_direction
    outgoing
    plane
    provider_observed
    edge_id
    wikidata:relation:2:P138
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • cartesian closed category — subclass of → closed monoidal category — Observed provider relationships
    Technical details
    machine_predicate
    P279
    predicate_ref
    wikidata:property:P279
    provider
    wikidata
    provider_direction
    outgoing
    plane
    provider_observed
    edge_id
    wikidata:relation:3:P279
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7

Reader shortcuts (not graph edges) (0)

    Unresolved references (0)

      Frontier (0)