caterwaul

Switch Light/Dark Mode

/caterwaul/Category/Op/semigroupalSort

Copy path to clipboard

Source

λ(cat : ../Semigroupal/Sort) →
    { arrow = λ(a : Kind) → λ(b : Kind) → cat.arrow b a, product = cat.product }
  : ../Semigroupal/Sort