Code

Adjunctions (notions of adjunctions)#32

Code

Merged

fizruk merged 5 commits intomainrzk-lang/sHoTT:mainfrom adjunctionsrzk-lang/sHoTT:adjunctionsCopy head branch name to clipboardSep 20, 2023

+414-1

Commits

Commits on Sep 19, 2023

• created adjunction file

  

  emilyriehl

  committed
  cf2237a

  Copy full SHA for cf2237a

Commits on Sep 20, 2023

• initial definitions of adjunction data

  

  emilyriehl

  committed
  69e0998

  Copy full SHA for 69e0998

• Merge branch 'main' into adjunctions

  

  emilyriehl

  committed
  c75e313

  Copy full SHA for c75e313

• added quasi-transposing adjunctions and changed some is to has

  

  emilyriehl

  committed
  7b13104

  Copy full SHA for 7b13104

• ladj to left-adj

  

  emilyriehl

  committed
  ab8e1a7

  Copy full SHA for ab8e1a7