Code

Comprehension coproducts#241

Code

Merged

plt-amy merged 14 commits intomainthe1lab/1lab:mainfrom comprehension-coproductsthe1lab/1lab:comprehension-coproductsCopy head branch name to clipboardSep 10, 2023

+1,601-109

Commits

Commits on Jul 29, 2023

• def: mates

  TOTBWF

  committed
  ef2fdf4

• def: comprehension coproducts

  TOTBWF

  committed
  1d8fdaa

• def: fibre category reasoning

  TOTBWF

  committed
  66fc139

• wip: refactor base change

  TOTBWF

  committed
  b34b6ae

• def: left adjoints from cocartesian maps

  TOTBWF

  committed
  1334cf2

• fix: formatting

  TOTBWF

  committed
  d4c6503

• def: minor stuff

  TOTBWF

  committed
  c1bd3e1

• def: strong and very strong coproducts

  TOTBWF

  committed
  8cb59f7

Commits on Aug 10, 2023

• Merge branch 'main' into comprehension-coproducts

  TOTBWF

  authored
  09e05a9

• chore: bring pr up to date

  TOTBWF

  committed
  133152e

• chore: fix mates

  TOTBWF

  committed
  87a0259

• chore: whoops

  TOTBWF

  committed
  17003a7

Commits on Sep 6, 2023

• Merge branch 'main' into comprehension-coproducts

  plt-amy

  committed
  8ba1d47

Commits on Sep 10, 2023

• minor wording pass (also fix diagram background color)

  plt-amy

  committed
  d8c8ff7