Index of types

C
cell [Precategory.Make]	A cell.
chain [Algebra.Presentation.Anick]
context [Globular.Theory]
M
map [Matrix.Make.Labeled]
map [Module.FreeLeft.Presentation.Map]	A linear map (encoded as a matrix).
map [Module.FreeLeft.Map]
matrix [Matrix.Make]
P
pres [Module.FreeLeft.Presentation]	A presentation.
R
r [Module.Left]	An element of the ring.
r [Algebra.T]	An element of the ring.
r [Module.FreeLeft]	An element of the ring.
r [Algebra.Presentation.Anick.AKMod]
T
t [Ring.T]
t [Ring.Float]
t [Ring.Int]
t [Ring.Bool]
t [Precategory.Make.Presentation]
t [Precategory.Make]
t [Monoid.Abelian]
t [Monoid.T]
t [Monoid.Presentation.Make]
t [Monoid.Presentation]
t [Module.Left]	An element of the module.
t [Matrix.T]
t [Graph.Presentation]
t [Globular.T]	A cell.
t [Globular.Theory.Cons]
t [Globular.Theory.Var]
t [Globular.Presentation.Make]
t [Globular.Presentation]	A globular set.
t [Globular.Terminal]
t [Field.Fractions]
t [Automaton.Make]
t [Ring.Polynomial]	A polynomial.
t [Series.Make]	A formal series.
t [Automaton.Regexp]
t [Alphabet.T]	A letter.
t [Alphabet.Map]
t [Alphabet.Pow]
t [Alphabet.Prod3]
t [Alphabet.Prod]
t [Alphabet.Unit]
t [Alphabet.Int]
t [Alphabet.Char]
t [Algebra.T]	An element of the algebra.
t [Module.FreeLeft.Presentation.Complex]	A chain complex.
t [Matrix.Make.Labeled]	A matrix with labeled basis elements.
t [Matrix.Make]
t [Module.FreeLeft.Presentation.Map]
t [Module.FreeLeft.Presentation]
t [Module.FreeLeft.Map]
t [Module.FreeLeft]	An element of the module.
t [Algebra.Presentation.Anick.AKMod]
t [Algebra.Presentation.Augmentation]	An augmentation.
t [Monoid.Free.Anick]	An Anick chain.
t [Monoid.Free]
t [Algebra.Presentation]
term [Globular.Theory]
W
whisker [Precategory.Make]
word [Monoid.Free]