Entry tags:
Comma Category
A useful construct to capture incremental changes (evolution) in the underlying system. We can think of s as a missing link, i.e. a "hole" to be filled with new stuff.

http://www.euclideanspace.com/maths/discrete/category/compound/arrow/index.htm

http://www.euclideanspace.com/maths/discrete/category/compound/arrow/index.htm