Learning Functional Programming in Go

More rules

Here are some more rules that apply to categories: 

• We can have zero or more arrows between objects.
• There can no more than one arrow from any object in the domain. Remember? x values must not be repeated.
• We can put all compositions in a composition table (how we compose morphisms).
• Different compositions will give you different categories.
• Objects and arrows have no structure and no information; the composition has the information.
• Category theory is based on the more general notion.
• The s value of objects and morphisms. Objects generalize types and morphisms generalize functions.
• A category does not take time into account.
• There is also a spacial relationship between objects.

When it comes to programming and computers, time ...