timelets: (Default)
I keep coming back to this video about the relationship between (pre-)sheafs and cohomology. Here he says that "the number one technique in mathematics is turning any problem into a linear algebra problem.

More generally, Lawvere often talks about mapping geometry to algebra.

https://youtu.be/RPuWHN0BTio?si=U0h7YM-3GlcyvnS5&t=1890



D --> J <-- T ( c: D --> T is the solution to a choice problem, per Lawvere).

d: D --> J
e: T --> J
c: D --> T

This diagram is a regular Kan extension problem, with a cohomology twist, i.e. assigning values to both objects and arrows.
timelets: (Default)
Context can be modeled as a topos (characteristic function within a topos).
timelets: (Default)
Truth is not "relative" and certainly not "subjective" in the popular sense of the word. It is always, or almost always, completely determined within a thought style.
...
Truth is not a convention, but rather (1) in historical perspective, an event in the history of thought, (2) in its contemporary context, stylized thought constraint.

--- Ludwik Fleck, Genesis and development of a scientific fact.


The relationship to thought constraint sounds interesting. Also, we can probably model it as a topos of dynamical systems.


timelets: (Default)
When in doubt build a model based on the Kan extension. Or at least, use Lawvere's simplified version of it ( determination/choice).



* Questions (A) -> Little Red Riding Hood (B) -> Learning [Wolf Detection] (C)

A -> C maps to False ( A -> Ω), which hints at the idea that marginal knowledge can be modeled as a topos. We can also show the nature of the transition from Google Search to GPT.

* All objects are marginal.
timelets: (Default)
Красная Шапочка — инструмент для понимания волка-оборотня.

upd. connect to Uber.
timelets: (Default)
All unhappy Little Red Riding Hoods are alike, but every happy LRHH is happy in their own way.

All happy Cinderellas are alike, but every unhappy Cinderella is unhappy in their own way.


Basically, it's a Kan extension problem/solution.
timelets: (Default)
Let's use Aristotle's four causes to probe and reveal hidden gems in the Three Little Pigs story, while keeping an eye on potential categorical implications.

Aristotle's theory proposes four main types of causes:
1) Material cause -- an undifferentiated raw material, e.g. straw, sticks, bricks. (M – material)
2) Formal cause –- a form that gives shape to a material. (P – package)
3) Efficient cause –- an active effort to apply a form to a material. (T – technology)
4) Final cause –– an end, a purpose, a final use worth bothering with the whole effort. (R - result)

How does this theory work for the Little Pigs?

1) We have three types of raw materials: a) actual physical materials: straw, etc.; b) pigs' raw labor – a day per each; c) wolf's effort.
2) We also have three types of form: a) house design; b) labor organization that divides each pig's day into work and fun; c) wolf's labor, e.g. trickstery and blowing.
3) Each character (pig/wolf) acts an efficient cause because they shape both the material and their own labor.
4) The purpose for the pigs is to have fun and repel the wolf. For the wolf, it's eating the pigs.

PxT --> MxM --> R.
PxT --> MxM --> RxR. ( when we consider a zero-sum game between the pigs and the wolf).

The outcomes are binary: success(true) and failure (false). Therefore, we can use booleans to measure them, which in turn allows us to apply boolean algebra, so that we can easily evaluate and compare various uses of resources and technology.
Our choice of booleans has an important implications because it helps build a dynamic model that shows life-changing reversals from failure to success and back. (being vs becoming).
timelets: (Default)
TxM -> TxM

Here we have an endofunctor and a topos (if we consider this structure as a dynamical system).

Truth object for this dynamical system:

True: {1,1} -> {0,1} -> {0,0}

False: {1,0} -> {1,0}

Note: the coordinates are in TxM phase "becoming" space wrt novelty, novel/emerging = 1, existing/established = 0.

https://youtu.be/o-yBDYgUqZQ?t=6008


TIL

Jun. 13th, 2022 11:42 am
timelets: (Default)
If one does not know to which port one is sailing, no wind is favorable. - Seneca

via Remchukov https://youtu.be/fggfPTemnWA?t=3255
timelets: (Default)
Lawvere's Hegelian Taco https://apps.dtic.mil/sti/pdfs/ADA360121.pdf
Retrieving stored knowledge presupposes some consciousness of the structure it has; this structure is in its particularity fixed by the storage process itself (and in its generality is partly a reflection of the content, i.e. of the nature of the knowledge stored). Thus in both retrieval and storage one needs to be explicitly aware of the kind of structure involved.

Lot's to learn here.
timelets: (Default)
Before I forget,

s: P -> D;
t: P -> D;
j: P -> D;
a1: P -> C;
a2; D -> C.

F: C -> Ω (quantity type functor).

C can be thought of as J2BD.

In a simplest case, P = D; therefore, the model collapses to P -> C and becomes a choice problem wrt f: X -> P, wherein X -> C and P -> C are given.
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)
“In 1952, tired of seeing MDs deem premature babies too weak to survive and allowing them to die, she introduced the Apgar score, a ten-point measure of a neonate’s breathing, heart rate, complexion, reflexes, and muscular activity, gathered at one and five minutes after birth. Its spread into medical practice has saved hundreds of thousands of lives and raised our awareness of the costs of premature births”

--- Dacher Keltner. “The Power Paradox: How We Gain and Lose Influence.”


To make it actionable, she introduced relevant dimensions and their quantification.
Also see https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3712619/
timelets: (Default)
PROP. XXXIII. There is nothing positive in ideas, which causes them to be called false.

Proof.—If this be denied, conceive, if possible, a positive mode of thinking, which should constitute the distinctive quality of falsehood. Such a mode of thinking cannot be in God (II. xxxii.); external to God it cannot be or be conceived (I. xv.). Therefore there is nothing positive in ideas which causes them to be called false. Q.E.D.

-- Spinoza, Ethics. Part II.

http://www.gutenberg.org/files/3800/3800-h/3800-h.htm#chap02
timelets: (Default)
https://docs.cdn.yougov.com/1qb5j6pdqd/econTabReport.pdf

Trump voters don't trust most mainstream media outlets, except Fox, because they expose Trump as a liar, which is a practical impossibility in Trumpworld, i.e. "fake news."








"Not trustworthy" is a characteristic function, both for Trump and Biden voters.
timelets: (Default)
Last night I had a dream about presheaves. It occurred to me that I could define "impossible" as a space without a presheaf.
timelets: (Default)
“...the Special Products Division next called in Foote, Cone & Belding, the advertising agency that had lately been signed up to handle the E-Car account. With characteristic Madison Avenue vigor, Foote, Cone & Belding organized a competition among the employees of its New York, London, and Chicago offices, offering nothing less than one of the brand-new cars as a prize to whoever thought up an acceptable name.

...Suspecting that the bosses of the Special Products Division might regard this list [18K names] as a trifle unwieldy, the agency got to work and cut it down to six thousand names, which it presented to them in executive session. “There you are,” a Foote, Cone man said triumphantly, flopping a sheaf of papers on the table. “Six thousand names, all alphabetized and cross-referenced.”
A gasp escaped Krafve. “But we don’t want six thousand names,” he said. “We only want one.”
Read more... )
--- John Brooks. “Business Adventures: Twelve Classic Tales from the World of Wall Street.” Apple Books.


Idea generation is useless when there's no rigorous selection process. I feel that it can be modeled as a topos because the codomain for the names is 1.

Profile

timelets: (Default)
timelets

June 2025

S M T W T F S
123456 7
891011121314
15161718192021
22232425262728
2930     

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 8th, 2025 09:35 pm
Powered by Dreamwidth Studios