Math.Algebras.TensorAlgebra

data TensorAlgebra a

injectTA

injectTA'

liftTA

liftTA'

fmapTA

fmapTA'

bindTA

bindTA'

data SymmetricAlgebra a

toSym

injectSym

injectSym'

liftSym

liftSym'

fmapSym

fmapSym'

bindSym

bindSym'

data ExteriorAlgebra a

toExt

signedSort

injectExt

injectExt'

liftExt

liftExt'

fmapExt

fmapExt'

bindExt

bindExt'

data TensorCoalgebra c

projectTC

coliftTC

coliftTC'

cobindTC