(no subject)
Mar. 7th, 2021 06:37 pmUsually the key aspect of an action of some is that itself carries an algebraic structure, such as being a group (or just a monoid) or being a ring or an associative algebra, which is also possessed by and preserved by the curried action . Note that if is any set then is a monoid,
https://ncatlab.org/nlab/show/action
also see Lawvere, 1986
===
MxA-> A
UxA -> A
https://ncatlab.org/nlab/show/action
also see Lawvere, 1986
"Historically the notion of monoid (or of group in particular) was abstracted from the actions, a pivotally important abstraction since as soon as a particular action is constructed or noticed, the demands of learning, development, and use mutate it into: 1) other actions on the same object, 2) actions on other related objects, and 3) actions of related monoids. "
===
MxA-> A
UxA -> A
(no subject)
Mar. 17th, 2020 01:07 pmOur foundry used to be much like other foundries. When we cast the first “Model T” cylinders in 1910, everything in the place was done by hand; shovels and wheelbarrows abounded. The work was then either skilled or unskilled; we had moulders and we had labourers.
Now we have about five per cent. of thoroughly skilled moulders and core setters, but the remaining 95 per cent. are unskilled, or to put it more accurately, must be skilled in exactly one operation which the most stupid man can learn within two days. The moulding is all done by machinery.
--- Henry Ford, My Life and Work.
As a result of this knowledge environment, most of How To books are written "for dummies."
I don't know much about programming but mathematically the concept is quite beautiful. Overall, monoidal categories are a great way to model consistent processes. Kant would love it because it incorporates the notion of unity, which reason seeks to apply to the world.
TIL: NFL careers
Aug. 16th, 2018 10:57 amThe average NFL career is short — about 3.3 years.
Quarterbacks fare longer, with an average career span of 4.4 years.
https://fivethirtyeight.com/features/the-backup-qb-who-gets-paid-a-lot-to-never-play/
That would explain the importance of systems and set plays
Servantes and free graph (monoid)
Jul. 20th, 2018 09:19 amThis would be a good example of how great literature describes a narrative as a technology that can be further described by a mathematical object.
Really good stuff
Mar. 22nd, 2018 01:23 pm
...the most basic questions about a resource theory: When are two resources equivalent under the free operations, in the sense that one can convert one to the other and vice-versa? What are the necessary and sufficient conditions on two resources such that the first can be converted to the second (possibly irreversibly) under the free operations? How can we find measures of the quality of a resource, that is, functions from the resources to the reals which are nonincreasing under the transformations allowed by the resource theory? ... Can a given resource conversion be made possible by the presence of a catalyst, i.e. a resource which must be present but is not consumed in the process?
We refer to this minimal framework as a theory of resource convertibility. The requisite mathematical formalism turns out to be that of a commutative (equivalently, Abelian or symmetric) preordered monoid.
First, consider the preorder. This is the order over resources that captures whether one resource can be converted to another or not. Recall that the first of the questions above called us to characterize the equivalence classes of resources under the free operations, and the second called us to find the partial order over these equivalence classes that is induced by the free operations. But this is nothing more than a call to find the preorder over the resources induced by the free relation of convertibility. Once the preorder is identified, one can define measures of the resource, or “resource monotones”, as any map from the resources to the reals which respects the preorder.
BFS. https://doi.org/10.1016/j.ic.2016.02.008
Just a few days ago I wanted to write that I can simulate any system of interest with a preorder and a monoid :)
CT-based Resource Theory
Mar. 22nd, 2018 07:45 amBob Coecke, Tobias Fritz, and Robert W. Spekkens. “A mathematical theory of resources”. In: Inform. and Comput. 250 (2016), pp. 59–86. issn: 0890-5401. url: https://doi.org/10.1016/j.ic.2016.02.008.


(no subject)
Mar. 20th, 2018 11:55 amFor every set M we may construct the monoid of endomorphisms (M → M,◦,id), where ◦ is function composition and id is the identity function.
Theorem 1.1 (Cayley representation for (Set) monoids)
Every monoid (M,⊕,e) is a sub-monoid of the monoid of endomorphisms on M.
Exequiel Rivas, Mauro Jaskelioff. 2014.
https://arxiv.org/abs/1406.4823v1
My hunch about the relationship b/w design and artefact turns out to be true. It also represents a mathematical version of Henry Ford's saying, "You won't get rich through inventions. You get rich through improvements."
(no subject)
Jan. 23rd, 2018 02:29 pmI think this is better than Spivak's approach
https://arxiv.org/pdf/0905.3010.pdf
Categories for the practising physicist
Bob Coecke and Eric Oliver Paquette
https://arxiv.org/pdf/0905.3010.pdf
Categories for the practising physicist
Bob Coecke and Eric Oliver Paquette
More on the Portuguese
Dec. 11th, 2017 02:08 pm
The general idea was that if the altura, or height above the horizon, of the sun or a star (normally the Pole Star) could be determined and compared with the known altura of the port of destination, then the ship could sail north or south until it reached that latitude, and then sail, as appropriate, east or west in the certainty of finding its point of destination. The measurement of the altura was possible with the use of either the quadrant or the astrolabe.
Both devices were standard university instruments of astronomy and astrology that carried a great deal of information that was both unnecessary to the calculation of latitude and simply incomprehensible to the layman. On the back of the astrolabe there was, however, an alidade, which was a rule on a swivel with two pinhole sights. The observer held the instrument upright by a swivel suspension ring, peered along the alidade, and measured the altura of the star by reading off the position of the alidade on a scale marked on the rim ( figure 3 ). The quadrant was an instrument with similar functions.
But instruments, inscriptions, and stars were not enough. Part of the association of elements to convert stars into latitudes lay in the practices of the mariners, and it was this element that was the most prone to distortion. It was difficult, although not ultimately impossible, to create a new social group necessary for closure: the astronomical navigator.
- John Law, ibid
The navigator embodied a (cyclical?) monoid, i.e. he could start applying technology arrows (device-based mappings) from any object in the graph: Stars -> Latitude -> Port -> Course -> Stars.
Tradeoff of the day
Dec. 11th, 2017 11:56 am
As a war machine in the relatively sheltered waters of the Mediterranean the galley was a great success. As a cargo carrying vessel, however, it had its drawbacks. Its carrying capacity was extremely limited. The features that made it a good war ship—it was slim and low and could carry a large crew that might repel boarders—were an impediment to the carriage of cargo (Lane 1973, p. 122; Denoix 1966, p. 142). Furthermore, the endurance of the galley was restricted by the size of its crew. It could not pass far from the sight of land and the possibility of water and provisions.
....
Accordingly, it is a paradigmatic case of the fundamental problem faced by system builders: how to juxtapose and relate heterogeneous elements together such that they stay in place and are not dissociated by other actors in the environment in the course of the inevitable struggles—whether these are social or physical or some mix of the two.
-- ibid

Three types of technological innovation were important.
-- The first of these took the form of a revolution in the design of the sailing ship in the fourteenth and early fifteenth centuries. ... a mixed-rigged seagoing vessel ( figure 2 ) that had much greater endurance and seaworthiness than its predecessors, one that was able to convert winds from many directions into forward motion. There were no rowers, so manpower was reduced, and it was thus possible to carry sufficient stores to undertake a considerable passage without foraging.
-- The second was the fact that the magnetic compass became generally available in Christian Europe in the late twelfth century. ... it allowed a reasonably consistent heading to be sailed in the absence of clear skies. Combined with dead reckoning and a portolano chart, 9 the magnetic compass took some of the guesswork out of long-distance navigation, and in particular it meant that the sailor did not need to hug the coast to have some idea of his location.
-- It was the invention of this circle, called the volta by the Portuguese, that marks the decisive third step. Ships were no longer forced to stay close to the coast. Cape Bojador, the classic point of no return, was no longer the obstacle it had previously been. The masters could sail beyond it and expect to be able to return.
The volta can thus be seen as a geographical expression of a struggle between heterogeneous bits and pieces assembled by the Portuguese system builders and their adversaries, that is, the winds, the currents, and the capes.
--
System builders seek to create a network of heterogeneous but mutually sustaining elements. They seek to dissociate hostile forces and to associate them with their enterprise by transforming them.
====
It looks like a battle of free monoids composed of different elements. Juxtaposition, i.e. the idea of the opposing system, makes a big difference here.
сны по теории услуг как стрелок
Oct. 8th, 2017 09:14 amСнилось, что я взял в библиотеке какую-то старую книгу. Еду по крученой дороге вдоль океана, но читаю, не могу оторваться. Еду слишком быстро, меня заносит на повороте в соседнюю полосу и вот-вот врежусь в грузовик. Притормаживаю. С дороги открывается вид на город с огромным готическим собором. Паркуюсь в двух кварталах от собора и иду гулять. Во время прогулки читаю книгу, но не понимаю, о чем она.
Потом вдруг вспоминаю, что парковка, наверное, платная. Возвращаюсь, вижу знак платной парковки. И тут до меня доходит, что это пример простейшей бизнес модели услуг, которую можно описывать стрелкой А -> В. Стелка обозначает перемещение предмета во времени, причем, еще одна стрелка показывает, сколько стоит услуга в зависимости от размера перемещения. Работу этой стрелки делает счетчик.
Соответственно, появляется параллель между банковским делом и автомобилями. Очевидно, что авто-авто приведут к эффекту "капитализма" в перемещениях. Первые признаки видны по Uber.
О чем была книжка так и не вспомнил.
Потом вдруг вспоминаю, что парковка, наверное, платная. Возвращаюсь, вижу знак платной парковки. И тут до меня доходит, что это пример простейшей бизнес модели услуг, которую можно описывать стрелкой А -> В. Стелка обозначает перемещение предмета во времени, причем, еще одна стрелка показывает, сколько стоит услуга в зависимости от размера перемещения. Работу этой стрелки делает счетчик.
Соответственно, появляется параллель между банковским делом и автомобилями. Очевидно, что авто-авто приведут к эффекту "капитализма" в перемещениях. Первые признаки видны по Uber.
О чем была книжка так и не вспомнил.
(no subject)
Sep. 29th, 2017 10:44 pmПока вы тут о политике спорите, люди делом занимаются. Даже Fox News иногда понимает толк в свободных моноидах и посетах :)
http://video.foxnews.com/v/5593344599001/?#sp=show-clips
http://video.foxnews.com/v/5593344599001/?#sp=show-clips
Technology to business and back
Aug. 8th, 2017 03:28 pmHere's two categories: Technology and Business
Technology is represented by a product of desires DxD. Desires conflict; therefore, one desire D is a PreOrder, while another is a PreoOrder Op. That is, improving our position on one desire makes another one worse off. Each desire has a terminal object 1, which is the lowest performance threshold, respectively. The thresholds form technical specification 2.
Business is represented by a Utility Monoid, e.g. a combination of Revenues (or expenses). Business has a terminal object 1, which represents profitability requirements, i.e. "the bottom line." The business would like to increase Utility, but it is constrained by the conflict of desires in Technology.
We can probably build adjoints, but I don't know how to specify them.

Technology is represented by a product of desires DxD. Desires conflict; therefore, one desire D is a PreOrder, while another is a PreoOrder Op. That is, improving our position on one desire makes another one worse off. Each desire has a terminal object 1, which is the lowest performance threshold, respectively. The thresholds form technical specification 2.
Business is represented by a Utility Monoid, e.g. a combination of Revenues (or expenses). Business has a terminal object 1, which represents profitability requirements, i.e. "the bottom line." The business would like to increase Utility, but it is constrained by the conflict of desires in Technology.
We can probably build adjoints, but I don't know how to specify them.
