Comma Category

[timelets]

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