timelets: (Default)
Back to regular programming:

timelets: (Default)
This course should be a prerequisite for learning CT

timelets: (Default)

In a fairy tale, internal processes are externalized and become comprehensible as represented by the figures of the story and its events. ”

--- Bruno Bettelheim. “The Uses of Enchantment.”

Read more... )
timelets: (Default)
“Mathematics is the logical study of how logical things work.”

--- Eugenia Cheng. “The Art of Logic in an Illogical World.”
timelets: (Default)
Usually the key aspect of an action of some X is that X 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 Y^Y and preserved by the curried action \widehat{act}. Note that if Y is any set then Y^Y is a monoid,

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
timelets: (Default)
...it is the mutability of mathematically precise structures (by morphisms) which is the essential content of category theory. If the structures are themselves categories, this mutability is expressed by functors, while if the structures are functors, the mutability is expressed by natural transformations.

--- F. William Lawvere, 2005.
timelets: (Default)
And yet Archimedes possessed such a lofty spirit, so profound a soul, and such a wealth of scientific theory, that although his inventions had won for him a name and fame for superhuman sagacity, 4 he would not consent to leave behind him any treatise on this subject, but regarding the work of an engineer and every art that ministers to the needs of life as ignoble and vulgar, he devoted his earnest p481 efforts only to those studies the subtlety and charm of which are not affected by the claims of necessity.

...
For no one could by his own efforts discover the proof, and yet as soon as he learns it from him, he thinks he might have discovered it himself; so smooth and rapid is the path by which he leads one to the desired conclusion.

--- Plutarch, Marcellus: 17.

https://penelope.uchicago.edu/Thayer/E/Roman/Texts/Plutarch/Lives/Marcellus*.html
timelets: (Default)
Just to think of it:
Then in 1963 Lawvere embarked on the daring project of a purely categorical foundation for all mathematics.
timelets: (Default)
Read more... )These and similar speculations will perhaps attract readers by their novelty and extravagance, rather than offend them by their fabulous character.

Plutarch, The Life of Romulus.

http://penelope.uchicago.edu/Thayer/E/Roman/Texts/Plutarch/Lives/Romulus*.html
timelets: (Default)
For they pay honours to Poseidon on the eighth day of every month. The number eight, as the first cube of an even number and the double of the first square, fitly represents the steadfast and immovable power of this god, to whom we give the epithets of Securer and Earth-stayer.

Plutarch, The Life of Theseus.

http://penelope.uchicago.edu/Thayer/E/Roman/Texts/Plutarch/Lives/Theseus*.html


To this day, the Chinese consider number 8 to be special.
timelets: (Default)
(3) Typically, all the laws constitute an infinite-dimensional affine space which is not a vector space, but the specification of the inertial law provides an origin in this space. Thus we can define the specific force to be the difference between an actual law and the inertial law, and the forces can be added vectorially.
There could be no science or technology without something like feature (3).

F. William Lawvere. Toposes of Laws of Motion, Sept. 27, 1997.

timelets: (Default)
The Space of Mathematics: Philosophical, Epistemological, and Historical Explorations.


https://books.google.com/books?id=SUcgAAAAQBAJ


Among other remarkable things in Lawvere's paper, I find his reference to Lenin quite amusing.

TIL

May. 26th, 2020 06:09 pm
timelets: (Default)
It's really hard to think about counting as a scalable physical activity, e.g. in terms of marginal cost of adding 10 vs adding 1.

timelets: (Default)
Why can one say `he believes that p, but it is not the case that p', whereas one cannot say `I believe that p, but it is not the case that p'?

--- Peter Hacker, quoted by Michael Starks, The logical structure... 2nd ed, p. 17
timelets: (Default)
Probably, that's why thinking in objects is easier than in processes.



Lawvere & Rosebrugh. Sets for Mathematics, 2003.
timelets: (Default)
The eternal and exclusive Becoming, the total instability of all reality and actuality, which continually works and becomes and never is, as Heraclitus teaches—is an awful and appalling conception, and in its effects most nearly related to that sensation, by which during an earthquake one loses confidence in the firmly-grounded earth.

It required an astonishing strength to translate this effect into its opposite, into the sublime, into happy astonishment.

Heraclitus accomplished this through an observation of the proper course of all Becoming and Passing, which he conceived of under the form of polarity, as the divergence of a force into two qualitatively different, opposite actions, striving after reunion.

A quality is set continually at variance with itself and separates itself into its opposites: these opposites continually strive again one towards another.

The common people of course think to recognise something rigid, completed, consistent; but the fact of the matter is that at any instant, bright and dark, sour and sweet are side by side and attached to one another like two wrestlers of whom sometimes the one succeeds, sometimes the other. ”.

-- Friedrich Wilhelm Nietzsche. “Early Greek Philosophy & Other Essays / Collected Works, Volume Two.”



timelets: (Default)
How do I explain this concept to people who don't want to understand math? Maybe I can find a way to visualize the concept using some kind of "parallel roadmaps" diagram.



You won't get rich through inventions.
You get rich through improvements.

-- Henry Ford.
timelets: (Default)
A good introduction to the concept of scale



S. Mac Lane, Mathematics: Form and Function, 1985. p. 94.
timelets: (Default)
How Lawvere got rid of sets in the Category Theory.


Read more... )

Profile

timelets: (Default)
timelets

June 2025

S M T W T F S
123456 7
8 9 1011 121314
15161718192021
22232425262728
2930     

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 12th, 2025 09:58 pm
Powered by Dreamwidth Studios
OSZAR »