diagrams.PointDiagram

class rewalt.diagrams.PointDiagram(ambient)

Subclass of Diagram for diagrams whose shape is a point.

Methods

Given a shape, returns the unique degenerate diagram of that shape over the point.

degeneracy(shape)

Given a shape, returns the unique degenerate diagram of that shape over the point.

This is, by definition, the pullback of the point diagram along self.shape.terminal().

Parameters: shape (shapes.Shape) – The shape of the degenerate diagram.
Returns: degeneracy – The degenerate diagram.
Return type: Diagram