Categories of paths; functors and natural transformations...

Somehow blogger screwed up, and a post I started (but never finished) a long time ago is "older" than another post of mine. It's about path categories, and higher categories... Hopefully worth a read?