Let $C$ and $D$ be simplicial complexes. A simplicial map is a map $f : C \to D$ such that for any face $F \subset C$, we have that $f(F)$ is contained in a face of $D$.

Although the primary method for creating a simplicial map is map(SimplicialComplex,SimplicialComplex,Matrix), there are a few other constructors.

- map(SimplicialComplex,SimplicialComplex,Matrix) -- create a simplicial map between simplicial complexes
- id _ SimplicialComplex -- make the identity map from a SimplicialComplex to itself
- SimplicialMap -- the class of all maps between simplicial complexes
- isWellDefined(SimplicialMap) -- whether underlying data is uncontradictory

Having made a simplicial map, one can access its basic invariants or test for some elementary properties by using the following methods. Having made a map of abstract simplicial complexes, one can access its basic invariants or test for some elementary properties by using the following methods.

- source(SimplicialMap) -- get the source of the map
- target(SimplicialMap) -- get the target of the map
- matrix(SimplicialMap) -- get the underlying map of rings

- Making an abstract simplicial complex -- information about the basic constructors
- Finding attributes and properties -- information about accessing features of an abstract simplicial complex
- Working with associated chain complexes -- information about the chain complexes and their homogenizations