Code

Devalapurkar & Haine#1157

Code

Open

Trebor-Huang wants to merge 81 commits intoagda:masteragda/cubical:masterfrom Trebor-Huang:devalapurkar-haineTrebor-Huang/cubical:devalapurkar-haineCopy head branch name to clipboard

+720-7

Commits

Commits on Feb 1, 2022

• t

  aljungstrom

  committed
  93d7248

  Copy full SHA for 93d7248

• m

  aljungstrom

  committed
  b4b6efb

  Copy full SHA for b4b6efb

Commits on Apr 24, 2023

• done

  aljungstrom

  committed
  cc6ced2

  Copy full SHA for cc6ced2

• duplicate

  aljungstrom

  committed
  e8244ac

  Copy full SHA for e8244ac

• wups

  aljungstrom

  committed
  aadde33

  Copy full SHA for aadde33

• rme

  aljungstrom

  committed
  17f3fc1

  Copy full SHA for 17f3fc1

Commits on Jun 2, 2023

• ganea stuff

  aljungstrom

  committed
  9341710

  Copy full SHA for 9341710

Commits on Jun 8, 2023

• Merge branch 'newM'

  aljungstrom

  committed
  52429ff

  Copy full SHA for 52429ff

• w

  aljungstrom

  committed
  ea75092

  Copy full SHA for ea75092

• w

  aljungstrom

  committed
  3acc6b8

  Copy full SHA for 3acc6b8

• w

  aljungstrom

  committed
  227b10b

  Copy full SHA for 227b10b

Commits on Jan 17, 2024

• fix

  aljungstrom

  committed
  9d1915d

  Copy full SHA for 9d1915d

Commits on Jan 18, 2024

• stuff

  aljungstrom

  committed
  c034578

  Copy full SHA for c034578

Commits on Jan 22, 2024

• stuff

  aljungstrom

  committed
  2fef4ef

  Copy full SHA for 2fef4ef

• more

  aljungstrom

  committed
  2b8b5fd

  Copy full SHA for 2b8b5fd

Commits on Jan 23, 2024

• ..

  aljungstrom

  committed
  74596b5

  Copy full SHA for 74596b5

• done?

  aljungstrom

  committed
  5e8b305

  Copy full SHA for 5e8b305

• wups

  aljungstrom

  committed
  74a8521

  Copy full SHA for 74a8521

• wups

  aljungstrom

  committed
  7875e3e

  Copy full SHA for 7875e3e

• wups

  aljungstrom

  committed
  7313a31

  Copy full SHA for 7313a31

• fixes

  aljungstrom

  committed
  b7716a4

  Copy full SHA for b7716a4

• ugh...

  aljungstrom

  committed
  f7524eb

  Copy full SHA for f7524eb

Commits on Jan 24, 2024

• wups

  aljungstrom

  committed
  e47bad5

  Copy full SHA for e47bad5

Commits on Jan 31, 2024

• stuff

  aljungstrom

  committed
  9071481

  Copy full SHA for 9071481

• Merge remote-tracking branch 'origin/master'

  aljungstrom

  committed
  f4745a2

  Copy full SHA for f4745a2

Commits on Feb 25, 2024

• stuff

  aljungstrom

  committed
  ea5fefd

  Copy full SHA for ea5fefd

Commits on Feb 26, 2024

• stuff

  aljungstrom

  committed
  b694120

  Copy full SHA for b694120

• stuf

  aljungstrom

  committed
  ae6e813

  Copy full SHA for ae6e813

Commits on Feb 29, 2024

• More

  aljungstrom

  committed
  df55d55

  Copy full SHA for df55d55

• stuff

  aljungstrom

  committed
  42d6b77

  Copy full SHA for 42d6b77

Commits on Mar 1, 2024

• stuff

  aljungstrom

  committed
  54c7919

  Copy full SHA for 54c7919

Commits on Mar 3, 2024

• stuff

  aljungstrom

  committed
  53bb0f2

  Copy full SHA for 53bb0f2

• done?

  aljungstrom

  committed
  a3bb47e

  Copy full SHA for a3bb47e

• stuff

  aljungstrom

  committed
  4ba3c8e

  Copy full SHA for 4ba3c8e

• merge

  aljungstrom

  committed
  a3f6a9e

  Copy full SHA for a3f6a9e

• cleanup

  aljungstrom

  committed
  6e259af

  Copy full SHA for 6e259af

Commits on Mar 4, 2024

• readme

  aljungstrom

  committed
  b1f9e1d

  Copy full SHA for b1f9e1d

• wups

  aljungstrom

  committed
  2d3fe1c

  Copy full SHA for 2d3fe1c

• ugh

  aljungstrom

  committed
  1b005a6

  Copy full SHA for 1b005a6

• wups

  aljungstrom

  committed
  ac5249e

  Copy full SHA for ac5249e

• broken code

  aljungstrom

  committed
  3e53282

  Copy full SHA for 3e53282

• ojdå

  aljungstrom

  committed
  beccacd

  Copy full SHA for beccacd

Commits on May 2, 2024

• comments

  aljungstrom

  committed
  3784dcd

  Copy full SHA for 3784dcd

Commits on May 7, 2024

• Pointed

  aljungstrom

  committed
  eb6b12e

  Copy full SHA for eb6b12e

• done?

  aljungstrom

  committed
  87fa4c0

  Copy full SHA for 87fa4c0

Commits on May 8, 2024

• p2

  aljungstrom

  committed
  afe51a4

  Copy full SHA for afe51a4

Commits on May 23, 2024

• stuff

  aljungstrom

  committed
  dac2fd3

  Copy full SHA for dac2fd3

Commits on May 27, 2024

• wip...

  aljungstrom

  committed
  77623bb

  Copy full SHA for 77623bb

Commits on May 29, 2024

• stuff

  aljungstrom

  committed
  c7acbee

  Copy full SHA for c7acbee

Commits on May 31, 2024

• almost

  aljungstrom

  committed
  e4f4003

  Copy full SHA for e4f4003

• pretty much done

  aljungstrom

  committed
  6bc3664

  Copy full SHA for 6bc3664

Commits on Jun 4, 2024

• cleaning

  aljungstrom

  committed
  0cb5678

  Copy full SHA for 0cb5678

• cleaning

  aljungstrom

  committed
  73afa8e

  Copy full SHA for 73afa8e

• connected done?

  aljungstrom

  committed
  787f34f

  Copy full SHA for 787f34f

• connected clean

  aljungstrom

  committed
  46482af

  Copy full SHA for 46482af

• merge

  aljungstrom

  committed
  1dff2d5

  Copy full SHA for 1dff2d5

• minor

  aljungstrom

  committed
  10aea90

  Copy full SHA for 10aea90

Commits on Sep 16, 2024

• Merge remote-tracking branch 'master/master' into cellular_pointed

  aljungstrom

  committed
  e13f9ab

  Copy full SHA for e13f9ab

• fixes

  aljungstrom

  committed
  5dae632

  Copy full SHA for 5dae632

Commits on Sep 19, 2024

• Susp is Pushout 1 <- X -> 1

  Trebor-Huang

  committed
  b4e74c1

  Copy full SHA for b4e74c1

• pushout along identity

  Trebor-Huang

  committed
  d0a06cd

  Copy full SHA for d0a06cd

• Use pushout squares for cofibInl-⋁

  Trebor-Huang

  committed
  313b74e

  Copy full SHA for 313b74e

• join inclusions are null

  Trebor-Huang

  committed
  54038ae

  Copy full SHA for 54038ae

• projection functions

  Trebor-Huang

  committed
  fa2da1a

  Copy full SHA for fa2da1a

• Remove redundant definition

  Trebor-Huang

  committed
  90f1ca9

  Copy full SHA for 90f1ca9

• Pushout⋁≃Unit

  Trebor-Huang

  committed
  4bc6517

  Copy full SHA for 4bc6517

• Susp (X∙ ⋀ Y∙) ≡ join X Y

  Trebor-Huang

  committed
  9d50340

  Copy full SHA for 9d50340

• Universes

  Trebor-Huang

  committed
  72a7557

  Copy full SHA for 72a7557

• Use PushoutSquare instead

  Trebor-Huang

  committed
  f9fc7e3

  Copy full SHA for f9fc7e3

• Pushout using Unit*

  Trebor-Huang

  committed
  dac0c0e

  Copy full SHA for dac0c0e

• Rename

  Trebor-Huang

  committed
  a4b23dd

  Copy full SHA for a4b23dd

• tweak

  Trebor-Huang

  committed
  98bbb7a

  Copy full SHA for 98bbb7a

• extend commutative squares

  Trebor-Huang

  committed
  dee0c56

  Copy full SHA for dee0c56

• Remove my version in favor of the other

  Trebor-Huang

  committed
  51fa7d0

  Copy full SHA for 51fa7d0

• Oddly specific sigma lemma

  Trebor-Huang

  committed
  08a56c4

  Copy full SHA for 08a56c4

• Splitting of loopspace

  Trebor-Huang

  committed
  c983de7

  Copy full SHA for c983de7

• Hilton–Milnor

  Trebor-Huang

  committed
  d99570a

  Copy full SHA for d99570a

• James

  Trebor-Huang

  committed
  f0d49bc

  Copy full SHA for f0d49bc

• Merge remote-tracking branch 'origin/master' into devalapurkar-haine

  Trebor-Huang

  committed
  a181af8

  Copy full SHA for a181af8

• Fix whitespace

  Trebor-Huang

  committed
  54a2b1f

  Copy full SHA for 54a2b1f

• safe flags

  Trebor-Huang

  committed
  01fa420

  Copy full SHA for 01fa420