Jul. 10th, 2017

timelets: (Default)
Another interesting quote from McLane&Moerdijk, 1999.



In short, we can create two contrasting categories: a poset P, which has one morphism and many objects, and a group G, which has one object and many morphisms.

Now, by thinking in topos terms, we can see that both categories have a terminal object ( "the arrow", "the object") and can be used in combination with a subobject classifier. The existence of a subobject classifier creates an opportunity for a simple decision making process. Then the question arises, "Decision making about what?"

One way to answer it would be to go back to Adam Smith and say, "Specialization!" That is, posets P enable us to specialize in arrows ("the arrow"), while groups G (including monoids) let us specialize in objects ("the object".) A combination (e.g. a disjoint union) of these two categories helps us build a broad range of large, highly specialized categories with relatively simple decision making rules. I bet most industrial systems can be modeled this way.
timelets: (Default)
"... would dare leave Washington without a beautiful new Healthcare bill fully approved and ready to go!"

Only a certain kind of person can say that an ugly political compromise is a new and beautiful thing.

Profile

timelets: (Default)
timelets

July 2017

S M T W T F S
       1
2 3 4 5 67 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 2526272829
3031     

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 26th, 2017 12:33 am
Powered by Dreamwidth Studios