Previous Page Trail Contents Next Page  

4. Diagrams, Limits, Colimits

This section provides information about diagrams:

4.1 Creating Diagram

4.2 Creating (Co)limit

4.3 Creating the Single Morphism from (to) (Co)limit

 

4.1 Creating Diagram

To create diagram select its objects and arrows those belongs to the same category. The selected diagram should be commutative. Then press the button and put the object on desktop. On its property editor select category by combobox and press the "Create from selected" button. Diagram is ready.

4.2 Creating (Co)limit

Press the "Create (co)lim" button. Before the creation the picture looks like following.

 

After this operation the (co)limit has been added

 

 

4.3 Creating the Single Morphism from (to) (Co)limit

After (co)limit creation you can select arrows (from) to one object and press ("Create arrow from colim") "Create arrow to lim" button. Note: Diagram should be commutative! After this operation the desktop looks like this

 

The arrow form colimit has been added. 



Previous Page Trail Contents Next Page