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