Code

Symmetric core of a relation#754

Code

Merged

fredrik-bakke merged 21 commits intoUniMath:masterUniMath/agda-unimath:masterfrom EgbertRijke:symmetric-coreEgbertRijke/agda-unimath:symmetric-coreCopy head branch name to clipboardSep 14, 2023

Commits

Commits on Sep 11, 2023

• add file

  EgbertRijke

  committed
  d456b81

  Copy full SHA for d456b81

• work

  EgbertRijke

  committed
  1e66054

  Copy full SHA for 1e66054

• Merge branch 'master' of github.com:UniMath/agda-unimath into symmetric-core

  EgbertRijke

  committed
  22800e1

  Copy full SHA for 22800e1

• adding further explanation

  EgbertRijke

  committed
  8e754a4

  Copy full SHA for 8e754a4

Commits on Sep 12, 2023

• Merge branch 'master' of github.com:UniMath/agda-unimath into symmetric-core

  EgbertRijke

  committed
  480a1c6

  Copy full SHA for 480a1c6

• Merge branch 'master' of github.com:UniMath/agda-unimath into symmetric-core

  EgbertRijke

  committed
  deb57b2

  Copy full SHA for deb57b2

• make library compile

  EgbertRijke

  committed
  1db6370

  Copy full SHA for 1db6370

Commits on Sep 13, 2023

• Merge branch 'master' of github.com:UniMath/agda-unimath into symmetric-core

  EgbertRijke

  committed
  49b63ba

  Copy full SHA for 49b63ba

• work

  EgbertRijke

  committed
  8fbfb54

  Copy full SHA for 8fbfb54

• Merge branch 'master' of github.com:UniMath/agda-unimath into symmetric-core

  EgbertRijke

  committed
  1149bb8

  Copy full SHA for 1149bb8

• Merge branch 'master' of github.com:UniMath/agda-unimath into symmetric-core

  EgbertRijke

  committed
  8b3645c

  Copy full SHA for 8b3645c

• work

  EgbertRijke

  committed
  9597126

  Copy full SHA for 9597126

• Merge branch 'master' of github.com:UniMath/agda-unimath into symmetric-core

  EgbertRijke

  committed
  a8a6ee2

  Copy full SHA for a8a6ee2

• work on 2-element types

  EgbertRijke

  committed
  ce3b700

  Copy full SHA for ce3b700

• refactor 2-element types

  EgbertRijke

  committed
  745daca

  Copy full SHA for 745daca

• the restriction-core adjunction of relations and symmetric relations

  EgbertRijke

  committed
  5118e77

  Copy full SHA for 5118e77

Commits on Sep 14, 2023

• typos

  EgbertRijke

  committed
  414728a

  Copy full SHA for 414728a

• Update src/foundation/symmetric-cores-binary-relations.lagda.md

  Show description for 6e2e72f
  

  EgbertRijke

  and

  fredrik-bakke

  authored
  6e2e72f

  Copy full SHA for 6e2e72f

• Update src/foundation/symmetric-cores-binary-relations.lagda.md

  Show description for c31f786
  

  EgbertRijke

  and

  fredrik-bakke

  authored
  c31f786

  Copy full SHA for c31f786

• make pre-commit

  EgbertRijke

  committed
  abd9b0e

  Copy full SHA for abd9b0e

• make pre-commit

  EgbertRijke

  committed
  5b7dcfc

  Copy full SHA for 5b7dcfc