(no subject)

[timelets]

I think I'm getting the hang of the Kan extension concept. For example, the future, at least in technology, seems to be a left Kan extension, while the past and the present would be the right one. This is just an initial idea I and sill need to develop a proof with specific examples, using the system model.

In the meantime, I"m hoping to finish the first draft of the book by the end of this year. It looks quite doable because I'm already halfway through the Cinderella part, which should be next to last.