diagrams.SimplexDiagram

class rewalt.diagrams.SimplexDiagram(ambient)

Subclass of Diagram for diagrams whose shape is an oriented simplex.

The methods of this class provide an implementation of the structural maps of a simplicial set.

Methods

`simplex_degeneracy`(k)	Returns one of the degeneracies of the simplex.
`simplex_face`(k)	Returns one of the faces of the simplex.

simplex_face(k)

Returns one of the faces of the simplex.

This is, by definition, the pullback of the diagram along self.shape.simplex_face(k).

Parameters: k (int) – The index of the face, ranging from 0 to self.dim.
Returns: simplex_face – The face.
Return type: Diagram
Raises: ValueError – If the index is out of range.

simplex_degeneracy(k)

Returns one of the degeneracies of the simplex.

This is, by definition, the pullback of the diagram along self.shape.simplex_degeneracy(k).

Parameters: k (int) – The index of the degeneracy, ranging from 0 to self.dim.
Returns: simplex_degeneracy – The degeneracy.
Return type: Diagram
Raises: ValueError – If the index is out of range.