Commits · 259321818c4e988113f886dd9c49599e7ab732df · gradual-typing / sgdt

Aug 23, 2023
- Monoid-related definitions and constructions · b3187909
  Eric Giovannini authored 1 year ago
  
  b3187909
Aug 15, 2023
- changes in Constructions.agda · 864bc12f
  akai authored 1 year ago
  
  864bc12f
Aug 08, 2023
- Constructions on thin double cats via constructions on displayed cats · 2d0f4cd0
  Eric Giovannini authored 1 year ago
  
  2d0f4cd0
Jul 20, 2023
- additions to thin double cat · b14d1406
  Max New authored 1 year ago
  
  b14d1406
Jul 19, 2023
- Begin formalizing thin double categories · 4617f9c6
  Eric Giovannini authored 1 year ago
  
  4617f9c6
May 30, 2023
- Begin formalizing coalgebras categorically · f4bb7741
  Eric Giovannini authored 1 year ago
  
  f4bb7741
May 25, 2023
- Cat of preorders; preorder-enriched cat of preorders · 21ff2843
  Eric Giovannini authored 1 year ago
  
  21ff2843
May 17, 2023
- Define preorder-enriched cats, refl. graph of preorder enriched cats · 3c279293
  Max New authored 1 year ago
  
  3c279293