Code

Add strict initial objects#423

Code

Merged

JacquesCarette merged 4 commits intoagda:masteragda/agda-categories:masterfrom 4e554c4c:initial-objects4e554c4c/agda-categories:initial-objectsCopy head branch name to clipboardJul 2, 2024

+254-128

Commits

Commits on Jun 25, 2024

• Add strict initial objects

  Show description for 39dbf92
  4e554c4c

  committed
  39dbf92

  Copy full SHA for 39dbf92

• add empty category

  4e554c4c

  committed
  94c656b

  Copy full SHA for 94c656b

Commits on Jun 27, 2024

• rename Empty to Zero

  Show description for 0d2e0cb
  4e554c4c

  committed
  0d2e0cb

  Copy full SHA for 0d2e0cb

Commits on Jul 2, 2024

• fixup and add source

  4e554c4c

  committed
  261743d

  Copy full SHA for 261743d