![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Morning Star = Evening Star
It's amazing how succinct and powerful even the basic CT concepts are.
Now I can think of multiple "zooming" roundtrips from a large "ranging" category to a small test category and identify fixed points within the former one.
Another important idea is that you can't reconstruct the large category B from its model A.
In the old Babylonian discovery, we make a roundtrip from "large" all stars to "small" observation records, and discover an even smaller e:B->B of "fixed point" heavenly bodies.
Now I can think of multiple "zooming" roundtrips from a large "ranging" category to a small test category and identify fixed points within the former one.
Another important idea is that you can't reconstruct the large category B from its model A.
In the old Babylonian discovery, we make a roundtrip from "large" all stars to "small" observation records, and discover an even smaller e:B->B of "fixed point" heavenly bodies.