CounterpediaExplore knowledge. Follow the sources.

category theory

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 category theory

Show relationship types (drawing only; the text lists are unaffected)
Relationship label not yet available (Observed provider relationships)studied by (Observed provider relationships)studied by (Observed provider relationships)studied by (Observed provider relationships)studied by (Observed provider relationships)studied by (Observed provider relationships)studied by (Observed provider relationships)studied by (Observed provider relationships)studied by (Observed provider relationships)studied by (Observed provider relationships)studied by (Observed provider relationships)studied by (Observed provider relationships)studied by (Observed provider relationships)category theory — Wikidata entity (Q217413)category theoryWIKIDATA ENTITYnatural transformation — Wikidata entity (Q1442189)naturaltransformationWIKIDATA ENTITYflat module — Wikidata entity (Q1426191)flat moduleWIKIDATA ENTITY*-autonomous category — Wikidata entity (Q4544973)*-autonomouscategoryWIKIDATA ENTITYGrothendieck group — Wikidata entity (Q1128678)GrothendieckgroupWIKIDATA ENTITYE7 — Wikidata entity (Q3045793)E7WIKIDATA ENTITYF-algebra — Wikidata entity (Q1386213)F-algebraWIKIDATA ENTITYcomma category — Wikidata entity (Q1780005)comma categoryWIKIDATA ENTITYcartesian closed category — Wikidata entity (Q1725874)cartesian closedcategoryWIKIDATA ENTITYautonomous category — Wikidata entity (Q4826844)autonomouscategoryWIKIDATA ENTITYADE classification — Wikidata entity (Q2976517)ADEclassificationWIKIDATA ENTITYétale fundamental group — Wikidata entity (Q288764)étalefundamental…WIKIDATA ENTITYDamerau–Levenshtein distance — Wikidata entity (Q2657425)Damerau–Levenshtein distanceWIKIDATA 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 (13)

  • 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
  • natural transformation — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q1442189
    stable_ref
    Q1442189
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q1442189
    provider
    wikidata
    entity_href
    /entries/wikidata/Q1442189
  • flat module — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q1426191
    stable_ref
    Q1426191
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q1426191
    provider
    wikidata
    entity_href
    /entries/wikidata/Q1426191
  • *-autonomous category — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q4544973
    stable_ref
    Q4544973
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q4544973
    provider
    wikidata
    entity_href
    /entries/wikidata/Q4544973
  • Grothendieck group — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q1128678
    stable_ref
    Q1128678
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q1128678
    provider
    wikidata
    entity_href
    /entries/wikidata/Q1128678
  • E7 — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q3045793
    stable_ref
    Q3045793
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q3045793
    provider
    wikidata
    entity_href
    /entries/wikidata/Q3045793
  • F-algebra — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q1386213
    stable_ref
    Q1386213
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q1386213
    provider
    wikidata
    entity_href
    /entries/wikidata/Q1386213
  • comma category — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q1780005
    stable_ref
    Q1780005
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q1780005
    provider
    wikidata
    entity_href
    /entries/wikidata/Q1780005
  • 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
  • autonomous category — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q4826844
    stable_ref
    Q4826844
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q4826844
    provider
    wikidata
    entity_href
    /entries/wikidata/Q4826844
  • ADE classification — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q2976517
    stable_ref
    Q2976517
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q2976517
    provider
    wikidata
    entity_href
    /entries/wikidata/Q2976517
  • étale fundamental group — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q288764
    stable_ref
    Q288764
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q288764
    provider
    wikidata
    entity_href
    /entries/wikidata/Q288764
  • Damerau–Levenshtein distance — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q2657425
    stable_ref
    Q2657425
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q2657425
    provider
    wikidata
    entity_href
    /entries/wikidata/Q2657425

Edges (13)

  • category theory — Relationship label not yet available → natural transformation — Observed provider relationships
    Technical details
    machine_predicate
    P2578
    predicate_ref
    wikidata:property:P2578
    provider
    wikidata
    provider_direction
    outgoing
    plane
    provider_observed
    edge_id
    wikidata:relation:0:P2578
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • flat module — studied by → category theory — Observed provider relationships
    Technical details
    machine_predicate
    P2579
    predicate_ref
    wikidata:property:P2579
    provider
    wikidata
    provider_direction
    incoming
    plane
    provider_observed
    edge_id
    wikidata:relation:1:P2579
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • *-autonomous category — studied by → category theory — Observed provider relationships
    Technical details
    machine_predicate
    P2579
    predicate_ref
    wikidata:property:P2579
    provider
    wikidata
    provider_direction
    incoming
    plane
    provider_observed
    edge_id
    wikidata:relation:2:P2579
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • Grothendieck group — studied by → category theory — Observed provider relationships
    Technical details
    machine_predicate
    P2579
    predicate_ref
    wikidata:property:P2579
    provider
    wikidata
    provider_direction
    incoming
    plane
    provider_observed
    edge_id
    wikidata:relation:3:P2579
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • E7 — studied by → category theory — Observed provider relationships
    Technical details
    machine_predicate
    P2579
    predicate_ref
    wikidata:property:P2579
    provider
    wikidata
    provider_direction
    incoming
    plane
    provider_observed
    edge_id
    wikidata:relation:4:P2579
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • F-algebra — studied by → category theory — Observed provider relationships
    Technical details
    machine_predicate
    P2579
    predicate_ref
    wikidata:property:P2579
    provider
    wikidata
    provider_direction
    incoming
    plane
    provider_observed
    edge_id
    wikidata:relation:5:P2579
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • natural transformation — studied by → category theory — Observed provider relationships
    Technical details
    machine_predicate
    P2579
    predicate_ref
    wikidata:property:P2579
    provider
    wikidata
    provider_direction
    incoming
    plane
    provider_observed
    edge_id
    wikidata:relation:6:P2579
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • comma category — studied by → category theory — Observed provider relationships
    Technical details
    machine_predicate
    P2579
    predicate_ref
    wikidata:property:P2579
    provider
    wikidata
    provider_direction
    incoming
    plane
    provider_observed
    edge_id
    wikidata:relation:7:P2579
    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
    incoming
    plane
    provider_observed
    edge_id
    wikidata:relation:8:P2579
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • autonomous category — studied by → category theory — Observed provider relationships
    Technical details
    machine_predicate
    P2579
    predicate_ref
    wikidata:property:P2579
    provider
    wikidata
    provider_direction
    incoming
    plane
    provider_observed
    edge_id
    wikidata:relation:9:P2579
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • ADE classification — studied by → category theory — Observed provider relationships
    Technical details
    machine_predicate
    P2579
    predicate_ref
    wikidata:property:P2579
    provider
    wikidata
    provider_direction
    incoming
    plane
    provider_observed
    edge_id
    wikidata:relation:10:P2579
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • étale fundamental group — studied by → category theory — Observed provider relationships
    Technical details
    machine_predicate
    P2579
    predicate_ref
    wikidata:property:P2579
    provider
    wikidata
    provider_direction
    incoming
    plane
    provider_observed
    edge_id
    wikidata:relation:11:P2579
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • Damerau–Levenshtein distance — studied by → category theory — Observed provider relationships
    Technical details
    machine_predicate
    P2579
    predicate_ref
    wikidata:property:P2579
    provider
    wikidata
    provider_direction
    incoming
    plane
    provider_observed
    edge_id
    wikidata:relation:12:P2579
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7

Reader shortcuts (not graph edges) (0)

    Unresolved references (0)

      Frontier (0)