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

September 2017

S M T W T F S
     1 2
3 4 5 6 7 8 9
10 11 1213 141516
17181920212223
24252627282930

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 19th, 2017 10:29 pm
Powered by Dreamwidth Studios