libutilitaspy.categories.diagramsΒΆ

Author: Ernesto Posse

Description:

This module contains the categorical definitions of diagrams. For a formal definition see:

Note: it includes the algorithms that compute pullbacks in terms of products and equalizers, and pushouts in terms of coproducts and coequalizers. Hence, a specific category does not need to implement either a pullback nor a pushout method; it only needs to implement product, coproduct, equalizer and coequalizer. In order to do that, the client must implement subclasses or Pair with methods product and coproduct, and ParallelArrows with methods equalizer and coequalizer

Previous topic

libutilitaspy.categories.categories

Next topic

libutilitaspy.categories.limits

This Page