Code

Make the category C explicit#634

Code

Merged

mortberg merged 2 commits intoagda:masteragda/cubical:masterfrom barrettj12:morphismbarrettj12/cubical:morphismCopy head branch name to clipboardNov 26, 2021

+67-59

Commits

Commits on Nov 21, 2021

• Make the category C explicit

  Show description for 3049a92
  barrettj12

  committed
  3049a92

  Copy full SHA for 3049a92

Commits on Nov 24, 2021

• Fix whitespace

  barrettj12

  committed
  c3f5608

  Copy full SHA for c3f5608