Code

ℤ-Functors#1068

Code

Merged

mortberg merged 51 commits intoagda:masteragda/cubical:masterfrom mzeuner:ZFunctorsmzeuner/cubical:ZFunctorsCopy head branch name to clipboardOct 27, 2023

+662-2

Commits

Commits on Aug 23, 2021

• use improved ringsolver

  mzeuner

  committed
  7d4cdfa

  Copy full SHA for 7d4cdfa

• delete one more line

  mzeuner

  committed
  e4d5d8d

  Copy full SHA for e4d5d8d

Commits on Aug 26, 2021

• Merge branch 'master' of https://github.com/agda/cubical

  mzeuner

  committed
  302c25a

  Copy full SHA for 302c25a

Commits on Nov 2, 2021

• Merge branch 'master' of https://github.com/agda/cubical

  mzeuner

  committed
  5fe247f

  Copy full SHA for 5fe247f

Commits on Nov 22, 2021

• Merge branch 'master' of https://github.com/agda/cubical

  mzeuner

  committed
  3f2e7f8

  Copy full SHA for 3f2e7f8

Commits on Dec 9, 2021

• Merge branch 'master' of https://github.com/agda/cubical

  mzeuner

  committed
  c29f845

  Copy full SHA for c29f845

Commits on Dec 15, 2021

• Merge branch 'master' of https://github.com/agda/cubical

  mzeuner

  committed
  d83b855

  Copy full SHA for d83b855

Commits on Dec 16, 2021

• Merge branch 'master' of https://github.com/agda/cubical

  mzeuner

  committed
  63c770b

  Copy full SHA for 63c770b

Commits on Dec 17, 2021

• Merge branch 'master' of https://github.com/agda/cubical

  mzeuner

  committed
  2ed6538

  Copy full SHA for 2ed6538

Commits on Jan 4, 2022

• Merge branch 'master' of https://github.com/agda/cubical

  mzeuner

  committed
  c35bc4d

  Copy full SHA for c35bc4d

Commits on Jan 7, 2022

• Merge branch 'master' of https://github.com/agda/cubical

  mzeuner

  committed
  808e042

  Copy full SHA for 808e042

Commits on Jan 10, 2022

• Merge branch 'master' of https://github.com/agda/cubical

  mzeuner

  committed
  18d797c

  Copy full SHA for 18d797c

Commits on Jan 25, 2022

• Merge branch 'master' of https://github.com/agda/cubical

  mzeuner

  committed
  591c1b7

  Copy full SHA for 591c1b7

Commits on Jan 27, 2022

• Merge branch 'master' of https://github.com/agda/cubical

  mzeuner

  committed
  0e1bd40

  Copy full SHA for 0e1bd40

Commits on Mar 14, 2022

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  0b8f3c0

  Copy full SHA for 0b8f3c0

Commits on Apr 6, 2022

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  4a91d86

  Copy full SHA for 4a91d86

• Merge branch 'master' of github.com:mzeuner/cubical

  mzeuner

  committed
  30cfe2f

  Copy full SHA for 30cfe2f

Commits on May 12, 2022

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  4e7f178

  Copy full SHA for 4e7f178

Commits on Aug 9, 2022

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  3e07b19

  Copy full SHA for 3e07b19

Commits on Aug 11, 2022

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  d5135d5

  Copy full SHA for d5135d5

• Merge branch 'master' of github.com:mzeuner/cubical

  mzeuner

  committed
  1014c10

  Copy full SHA for 1014c10

Commits on Sep 6, 2022

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  559f835

  Copy full SHA for 559f835

Commits on Nov 23, 2022

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  9b4166d

  Copy full SHA for 9b4166d

Commits on Dec 15, 2022

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  52d87b5

  Copy full SHA for 52d87b5

Commits on Feb 6, 2023

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  25b3b35

  Copy full SHA for 25b3b35

Commits on Feb 23, 2023

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  f0ab030

  Copy full SHA for f0ab030

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  bcb3fa9

  Copy full SHA for bcb3fa9

Commits on Feb 28, 2023

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  1624210

  Copy full SHA for 1624210

Commits on Mar 6, 2023

• Merge branch 'master' of github.com:mzeuner/cubical

  mzeuner

  committed
  e11bb18

  Copy full SHA for e11bb18

Commits on May 2, 2023

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  5263ae5

  Copy full SHA for 5263ae5

Commits on Jun 26, 2023

• Merge branch 'master' of github.com:mzeuner/cubical

  mzeuner

  committed
  8632bf4

  Copy full SHA for 8632bf4

Commits on Jun 29, 2023

• Merge branch 'master' of github.com:mzeuner/cubical

  mzeuner

  committed
  e23b691

  Copy full SHA for e23b691

Commits on Jul 27, 2023

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  ce9d598

  Copy full SHA for ce9d598

Commits on Oct 10, 2023

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  8629581

  Copy full SHA for 8629581

• Merge branch 'master' of github.com:mzeuner/cubical

  mzeuner

  committed
  09fc8f4

  Copy full SHA for 09fc8f4

• get started

  mzeuner

  committed
  8aef51b

  Copy full SHA for 8aef51b

• functorial action

  mzeuner

  committed
  8e4580f

  Copy full SHA for 8e4580f

Commits on Oct 11, 2023

• identity action

  mzeuner

  committed
  aa0a839

  Copy full SHA for aa0a839

Commits on Oct 12, 2023

• Zar latt presheaf

  mzeuner

  committed
  862af18

  Copy full SHA for 862af18

Commits on Oct 13, 2023

• ring structure on global section

  mzeuner

  committed
  d8ae9cd

  Copy full SHA for d8ae9cd

Commits on Oct 18, 2023

• unit and conunit of adjunction

  mzeuner

  committed
  e89de4a

  Copy full SHA for e89de4a

Commits on Oct 20, 2023

• new approach

  mzeuner

  committed
  fd20655

  Copy full SHA for fd20655

• reorganize and tidy up

  mzeuner

  committed
  66b0967

  Copy full SHA for 66b0967

Commits on Oct 23, 2023

• def affine cover

  mzeuner

  committed
  c958982

  Copy full SHA for c958982

• remove FP stuff

  mzeuner

  committed
  7cd669d

  Copy full SHA for 7cd669d

• collect TODOs

  mzeuner

  committed
  9014c59

  Copy full SHA for 9014c59

• refacor

  mzeuner

  committed
  00ff326

  Copy full SHA for 00ff326

Commits on Oct 25, 2023

• standard basic opens

  mzeuner

  committed
  adf19d4

  Copy full SHA for adf19d4

• more cleaning up

  mzeuner

  committed
  1dc9ab4

  Copy full SHA for 1dc9ab4

Commits on Oct 26, 2023

• Structure sheaf

  mzeuner

  committed
  29cf5ca

  Copy full SHA for 29cf5ca

Commits on Oct 27, 2023

• requested changes

  mzeuner

  committed
  8348a41

  Copy full SHA for 8348a41