Code

join construction#1860

Code

Draft

Alizter wants to merge 4 commits intoHoTT:masterHoTT/Coq-HoTT:masterfrom Alizter:ps/branch/join_constructionAlizter/HoTT:ps/branch/join_constructionCopy head branch name to clipboard

+429-35

Commits

Commits on Feb 19, 2024

• join construction

  Show description for 9caf5b0
  Alizter

  committed
  9caf5b0

  Copy full SHA for 9caf5b0

Commits on Sep 24, 2024

• Merge remote-tracking branch 'origin/master' into ps/branch/join_construction

  Alizter

  committed
  18b2df0

  Copy full SHA for 18b2df0

Commits on Sep 28, 2024

• more flexible universes for functoriality of join

  Show description for 1a3413d
  Alizter

  committed
  1a3413d

  Copy full SHA for 1a3413d

• wip adapting join construction to new smallness

  Show description for a2ba147
  Alizter

  committed
  a2ba147

  Copy full SHA for a2ba147