Underlying K-module of AMod.
K
AMod
Algebra given by a convergent presentation.
Algebras.
Underlying alphabet of a monoid.
Alphabets.
Anick resolution.
Anick chains.
Augmentations for presented algebras.
Automata.
The ring of booleans.
The field with two elements.
Categories.
Operations on cells in a presentation.
The alphabet of characters.
Chain complexes between free modules.
Edges.
The field of series.
Fields.
The ring of floats.
The field of floats.
Field of fractions over an euclidean domain.
The free monoid on a set.
Free category on a graph.
Free algebra of a monoid over a ring.
Free left module.
Functors between different rings.
Globular sets.
Graphs.
Underlying graph of a category.
Groups.
The ring of integers.
The "field" of integers.
The alphabet of integers.
Matrices with labeled basis elements.
Formal series over a given field.
Free precategories.
Make a monoid from a convergent presentation.
Functions between alphabets.
Linear maps between presentations.
Morphisms between free modules.
Matrices.
Modules.
Monoids.
Category of a monoid.
Opposite ring.
Polynomial ring over a ring.
Ring of polynomials over a field.
Powerset.
Higher-dimensional precategories.
Presentation of a precategory: a "pre-polygraph".
Oriented presentation of a monoid.
Presentation of a graph.
Presented globular set.
A presentation of a free module (a basis).
Presentation of an algebra.
Product of alphabets.
Triple product of alphabets.
Field of rational fractions.
Regular expressions.
Rings.
Underlying ring of a field.
Operations on rows.
Formal series.
The terminal graph.
The terminal globular set.
A globular theory, the typical example being weak omega-categories.
The alphabet with one element.
Vertices.