Code

Representable isos#141

Code

Merged

emilyriehl merged 24 commits intomainrzk-lang/sHoTT:mainfrom representable-isosrzk-lang/sHoTT:representable-isosCopy head branch name to clipboardDec 15, 2023

+382-2

Commits

Commits on Nov 10, 2023

• Define the problem and some helpers

  cesarbm03

  committed
  a14f204

  Copy full SHA for a14f204

• Extract homotopies

  cesarbm03

  committed
  2613056

  Copy full SHA for 2613056

Commits on Nov 13, 2023

• define all paths

  cesarbm03

  committed
  7e1ebaa

  Copy full SHA for 7e1ebaa

Commits on Nov 18, 2023

• path for section

  cesarbm03

  committed
  48fc897

  Copy full SHA for 48fc897

• the section

  cesarbm03

  committed
  edc1bf5

  Copy full SHA for edc1bf5

Commits on Nov 19, 2023

• eddit names

  cesarbm03

  committed
  cd48607

  Copy full SHA for cd48607

Commits on Nov 20, 2023

• give the retraction

  cesarbm03

  committed
  f7530c9

  Copy full SHA for f7530c9

• change names and spacing

  cesarbm03

  committed
  da86333

  Copy full SHA for da86333

• proof of prop 10.11

  cesarbm03

  committed
  afbb24d

  Copy full SHA for afbb24d

• last eddits and format

  cesarbm03

  committed
  3ed280f

  Copy full SHA for 3ed280f

• resolve conflicts

  cesarbm03

  committed
  5d401c1

  Copy full SHA for 5d401c1

• formating

  cesarbm03

  committed
  3238405

  Copy full SHA for 3238405

Commits on Nov 21, 2023

• Merge branch 'main' into representable-isos

  

  Emily Riehl

  authored
  0c1cabe

  Copy full SHA for 0c1cabe

Commits on Nov 23, 2023

• indentation

  cesarbm03

  committed
  443e3f8

  Copy full SHA for 443e3f8

• typo fixed

  

  emilyriehl

  committed
  cd438ab

  Copy full SHA for cd438ab

Commits on Nov 30, 2023

• streamline by adding section

  cesarbm03

  committed
  8c97aa7

  Copy full SHA for 8c97aa7

• comment added

  cesarbm03

  committed
  1bf1a4e

  Copy full SHA for 1bf1a4e

Commits on Dec 1, 2023

• Merge branch 'main' into representable-isos

  

  Emily Riehl

  authored
  3672560

  Copy full SHA for 3672560

Commits on Dec 12, 2023

• Merge branch 'main' into representable-isos

  fizruk

  authored
  88380b4

  Copy full SHA for 88380b4

• Apply autoformatting to 10-rezk-types.rzk.md

  fizruk

  committed
  ae33cf9

  Copy full SHA for ae33cf9

Commits on Dec 15, 2023

• name change from fiberwise to representable

  

  Emily Riehl

  committed
  be94531

  Copy full SHA for be94531

• moved some reversals to the local paths

  

  Emily Riehl

  committed
  4014380

  Copy full SHA for 4014380

• moved around the revs

  

  Emily Riehl

  committed
  9917797

  Copy full SHA for 9917797

• typo

  

  Emily Riehl

  committed
  06abed0

  Copy full SHA for 06abed0