Introduction

Notes

Math

Epistemology

Search

Andrius Kulikauskas

  • m a t h 4 w i s d o m - g m a i l
  • +370 607 27 665
  • My work is in the Public Domain for all to share freely.

用中文

  • 读物 书 影片 维基百科

Introduction E9F5FC

Questions FFFFC0

Software

Submitted on May 4, 2023 to the Applied Category Theory 2023 conference.


The Yoneda Embedding Expresses Whether, What, How, Why

Eugenia Cheng to Emily Riehl about the Yoneda Lemma: "...I love what you said about how you don't ever really understand it..." [1]

Eugenia Cheng about category theory: "... deep down it's about what is really making something work ..." [1]

I applaud the intention of deep understanding, and yet, as an outsider, I would say that category theory doesn't understand whether, what, how, why category theory works or fails. At its best, I would think of it as Metaphor theory, where the object of study is metaphors, which is to say, adjunctions, which synchronize windows upon Worlds, which is what I would call categories, so as to emphasize the worlds of relationships and not their individual objects. I would understand the Yoneda Lemma as its Fundamental Theorem in a holistic way that fits together our hard-won intuitions like the parts of an elephant.

I claim this elephant has four parts, which I refer to as Whether, What, How, Why.

  • Whether. "The Yoneda-y principle" "the one thing we know we have in any world of homsets is the identity, and all the Yoneda functors and natural transformations are acting by composition on one side or the other." [2]
  • What. "A functor is a picture of one category in another category." [3]
  • How. "A good way to think of a functor is as a kind of construction." [3]
  • Why. "The Yoneda perspective." "Mathematical objects are completely determined by their relationships to other objects." [4]

Specifically, let us focus on the Yoneda embedding {$\textrm{Hom}(\textrm{Hom}(A,\_),\textrm{Hom}(B,\_))\cong\textrm{Hom}(B,A)$} and the bijection {$\theta^{B\overset{u}\rightarrow A}\Leftrightarrow B\overset{u}\rightarrow A$} that it defines.

{$$\begin{matrix} \textrm{Whether is } B\overset{u}{\rightarrow}A & \theta^{B\overset{u}{\rightarrow}A}_A(A\overset{\textrm{id}_A}{\rightarrow}A)=B\overset{u}{\rightarrow}A\overset{\textrm{id}_A}{\rightarrow}A \\ \textrm{What is } B\overset{u}{\rightarrow}A & B\overset{u}{\rightarrow}A\in\textrm{Hom}(B,A) \\ \textrm{How is } B\overset{u}{\rightarrow}A & \theta^{B\overset{u}{\rightarrow}A}\in\textrm{Hom}(\textrm{Hom}(A,\_),\textrm{Hom}(B,\_)) \\ \textrm{Why is } B\overset{u}{\rightarrow}A & B\overset{u}{\rightarrow}A\overset{f}{\rightarrow}X=\theta^{B\overset{u}{\rightarrow}A}_X(A\overset{f}{\rightarrow}X) \\ \end{matrix}$$}

What is {$B\overset{u}{\rightarrow}A$}? It is an arrow from {$B$} to {$A$}, an element in the output of the functor {$\textrm{Hom}(B,\_)$} applied to {$A$}. How is {$B\overset{u}{\rightarrow}A$}? It is the action {$\theta^{B\overset{u}{\rightarrow}A}$} which prepends {$B\overset{u}{\rightarrow}A$} as a puzzle piece that was missing. What and How refer to possibilities within sets in the familiar world of Sets.

Whether is {$B\overset{u}{\rightarrow}A$}? This refers to the way that {$\theta^{B\overset{u}{\rightarrow}A}$} defines {$B\overset{u}{\rightarrow}A$}, which is by acting on the do-nothing action {$A\overset{\textrm{id}_A}{\rightarrow}A$} and thus prepending {$B\overset{u}{\rightarrow}A$} onto nothing. Why is {$B\overset{u}{\rightarrow}A$}? This refers to the way that {$B\overset{u}{\rightarrow}A$} grounds {$\theta^{B\overset{u}{\rightarrow}A}$}, whereby extending {$B\overset{u}{\rightarrow}A$} variously with {$A\overset{f}{\rightarrow}X$} defines {$\theta^{B\overset{u}{\rightarrow}A}_X(A\overset{f}{\rightarrow}X)$}, the unifying, comprehensive view upon all of the relationships.

We see that we have a system of four parts that seems complete. How is the natural transformation on the left hand side. What is the arrow on the right hand side. Why takes us from the right hand side to the left hand side. Whether takes us from the left hand side to the right hand side. Is there room for a fifth intuition? Probably not anything elementary. Thus I claim this framework lets us fully understand the Yoneda lemma, tentatively yet pragmatically, comprehensively and absolutely, with more to learn from here.

Given a cup, children distinguish What it appears to be to their senses, and How it is used, affected and created. They can contemplate Whether the cup is still there when nobody sees it. Knowing Why there is a cup means knowing how it relates to absolutely everything. The Yoneda Lemma begs us to consider how it organizes knowledge in terms of actions that do nothing or do something or do anything or do everything.

Our human experience informs us that our minds move easily from How to What, but not the other way around, which is why architects say, "Form follows function". The missing piece gets filled and never goes missing again. Subsequently, our minds move easily from Why to Whether, but not the other way around.[5] We can think of the Yoneda Lemma as relating two minds, two hemispheres, two genders, the Unconscious mind that knows the answer What, and the Conscious mind that does not know and thus asks questions How. A third mind, Consciousness, waits for them to balance, considering Why. It keeps us Conscious until they are balanced and then lets us be Unconscious, at which time we lose Consciousness and what was softwired, Why, becomes hardwired, Whether. [6] In modeling this experience, we can interpret the mathematics of the Yoneda Embedding, but human experience constrains us more than the mathematics suggests of itself.

History shows that category theory may have the ambition for such holistic insights, yet lacks the requisite language of frameworks for absolute and comprehensive understanding. Metaphysics is this language of cognitive frameworks, of wisdom, of absolute truth, which comes from ever testing the limits of our imagination. Philosophers, in their private languages, speak of this same framework, which expresses the four vantage points requisite for knowledge. Plato's Republic speaks of wisdom (why), true opinion (how), false opinion (what), ignorance (whether). Aristotle distinguishes four explanations (four causes): material (why), efficient (how), formal (what), final (whether). Peirce's three kinds of signs appeal to these levels of knowledge: symbols (why), indexes (how), icons (what), and we can add the thing (whether) they signify. Few now believe, as they believed, that there could be a unifying language of frameworks. [7] Believers include Jesus, whose Great Commandment is structured like the two sides of the Yoneda embedding. Love God, the whole at once. Alternatively, love your neighbor as yourself, extending outwards, arrow by arrow. [8]

Mathematics can serve as a field for cultivating, clarifying and confirming a language of wisdom, which is not axiomatic, not explicit, not logical, but prior to all that, anthropological and quite possibly universal, underlying all systems, enabling them to unfold from a state of contradiction. We can study, for example, how the Yoneda Embedding expresses the heart of propositional logic: {$\forall X(P(X)\leq Q(X))\Leftrightarrow P\leq Q $}. How does that relate to adjunctions with existential and universal quantifiers? [9] In computability theory, the four levels of knowledge are suggested by Yates's Index Set Theorem. [10] They can also be compared with the four mappings of a short exact sequence or chain complex, where {$0$} is understood as {$A\overset{\textrm{id}_A}{\rightarrow}A$}, which is mapped to {$B\overset{u}{\rightarrow}A\overset{\textrm{id}_A}{\rightarrow}A$} and then {$B\overset{u}{\rightarrow}A$} and then {$\theta^{B\overset{u}{\rightarrow}A}$} and perhaps back to {$A\overset{\textrm{id}_A}{\rightarrow}A$}. As an outsider, I admit that category theory takes care of the drudgery that doesn't interest us, but I seek a language of wisdom which teaches us to recognize the structures and relationships that are key, such as the Yoneda embedding.


References

[1] Riehl, Bradley, Cheng, Dancstep, and Lugg: "Category theory outreach panel". Topos Institute Colloquium, 16th of March 2023. (1:17:00-1:20:00)

[2] E.Cheng. The Joy of Abstraction: An Exploration of Math, Category Theory, and Life. Cambridge University Press. 2022. Pg.361.

[3] S.Awodey. Category theory foundations 3.0. Oregon Programming Languages Summer School. July 16-28, 2012. (25:30-28:30)

[4] T-D.Bradley. The Yoneda Perspective. Math3ma. August 30, 2017.

[5] A.Kulikauskas. Time and Space as Representations of Decision-Making. "Space and Time: An Interdisciplinary Approach." Vilnius, Lithuania. September 29-30, 2017.

[6] A.Kulikauskas. Consciousness as the Social Awareness Schema of a Disembodying Mind. "III International Conference on Philosophy of Mind: Minds, Brains and Consciousness". Braga, Portugal. October 11, 2017.

[7] A.Kulikauskas. Welcome to Math 4 Wisdom. March 30, 2023.

[8] Wikipedia. Great Commandment.

[9] R.Rosebrugh, R.J.Wood. An Adjoint Characterization of the Category of Sets. Proceedings of the American Mathematical Society. Volume 122, Number 2, October 1994.

[10] R.I.Soare. Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets. Springer-Verlag. 1987. Pg.244.

Edit - Upload - History - Print - Recent changes
Search:
This page was last changed on May 07, 2023, at 10:14 PM