2014.11.25.The family of Categories is NOT a Tree, but a true graph!


 * For along time knowed CatTheory, now the first time I read & understand the defs in CatTheory.
 * Stem from intersting things, not from "what I need to do"
 * Even many things common with Uniinfo & OOP:
 * Object & Morphism vs. Circle & Arrow vs. Object & Method
 * Object itself is just a loopback identity morphism vs. circle is a loopback arrow.

Interpreting the "Arrows"

 * As "inclusion" (space): Poset is ok, no need to be tree. But cannot be cyclic! What about "Strange Loop" where you get inside and inside and go on... at the inner most you find yourself?
 * As "time": Acyclic as in "strict time" and cyclic as in Days of Week, but usually not brached. What about "branching time" like "Many Universe" interpretation?

Questions:
 * Can Cat's Commutative Diagram be cyclic?
 * Where can cycle of functors appear? I've asked Google and just found some things like Cyclic order and Cyclic homology. I cannot directly see the cycle of functors in them, though! Maybe more time is needed....