concept
pending-review
concept:galois-connection

Galois Connection

papers/2022-04-01_Prabros._lattices-for-CS.pdf_8ecde3.pdf
Frontmatter (7 fields)
{
  "author": null,
  "norm_label": "galois connection",
  "source_url": null,
  "graphify_id": "lattices_galois_connection",
  "source_file": "papers/2022-04-01_Prabros._lattices-for-CS.pdf_8ecde3.pdf",
  "imported_from": "/Users/antonborzov/Documents/Research.nosync/alexander/papers/extracted/graphify-out/graph.json",
  "graphify_file_type": "concept"
}

Outgoing (2)

Implements (1)

Member of (1)

Incoming (2)

Mentions (1)

  • alexander
    papers/2022-04-01_Prabros._lattices-for-CS.pdf_8ecde3.pdf