/Semigroup/Inverse/Kind

λ(cat : ../../Category/Semigroupal/Sort) →
λ(m : Kind) →
  { inverse : cat.arrow m m } ⩓ ../../Semigroup/Kind cat m

/caterwaul/Semigroup/Inverse/Kind