概论

数学

发现

Andrius Kulikauskas

  • ms@ms.lt
  • +370 607 27 665
  • My work is in the Public Domain for all to share freely.

用中文

  • 读物 书 影片 维基百科

Software


MathConnections, Divisions, Yoneda lemma

Understand what the foursome means in mathematics.


  • Define Whether, What, How, Why.
  • What is the role of the foursome in the house of knowledge, as regards algebra, analysis, geometry-logic and variables?
  • How are Peirce's four signs and the four levels of knowledge related?
  • Understand Yoneda's theorem as expressing the difference between God's external perspective (beyond system) and our internal perspective (within system) in four degrees: Whether, What, How, Why.
  • How do the foursome and Yoneda lemma relate a rule (in the sense of Wolfram) and an equation?
  • How is it that Why is related to the inner structure rather than the external relationships?
  • Yoneda Lemma: Acting on the identity is acting on doing nothing. God as a mirror. The limits of my mind. The divisions of everything. What would the foursome look like as actions taking place on doing nothing, on the nullsome? Or is it the fact that the foursome is consciousness of the onesome?
  • Show why there is no n-category theory because it folds up into the foursome.
  • Understand the Yoneda lemma. Relate it to the four ways of looking at a triangle.

Consciousness

  • Relate id-A to consciousness, to constancy of attention, recurring attention.
  • Are thoughts objects?

Foursome

Understanding the Yoneda Lemma in terms of the foursome: Whether, What, How, Why

The Yoneda Lemma seems to relate the following levels of knowledge:

  • A functor F takes us from a category C [How] (especially the morphisms) to a category F(C) [What] (especially the objects).
  • [Whether] describes the external relationships in F(C). (The categorical outlook.)
  • [Why] describes the internal structure native to C.

Relate to ways of figuring things out:

  • Whether: level and metalevel are equated: proof by contradiction
  • What: model
  • How: working backwards
  • Why: variables

Why expresses taking a stand with regard to everything. And so it is related to taking a stand with regard to one's self, what permeates one's inside entirely, as with a group's internal consistency, whereby each element multiplies to yield a distinct products. So consider how Why comes from one's (universal) relationship with one's self. All four levels (Whether, What, How, Why) express one's relationships with one's self, and the implications.

Note that a Turing machine is built on different kinds of variables, which may imply that it can't be categorified.

  • Whether: object A (Accordion)
  • What: image F(A)
  • How: morphism from A: A->
  • Why: all morphisms to A: ->A
  • What: Target category. Set of properties. Why: Set of relationships as dictaded by its relationships but especially its relationship with itself (its essence).
  • How: Source category. The source category of a functor is a model or blueprint for the target category of a functor.

Yoneda embedding: What=Why defines "meaning". What about other five qualities of signs?

A perspective is defined as a fixed point, namely, the identity morphism, with which we identify ourselves. This is Whether. It is the heart of the Yoneda theorem.

Natural transformation has four levels:

  • Why: f:x->y in C
  • How: F(f):F(x)->F(y) in F(C)
  • What: G(f):G(x)->G(y) in G(C)
  • Whether: F(x)->G(y)

Objectification of morphisms

  • center - whether - identity morphism
  • balance - what - "from and to"
  • set - how - *elements* in a set
  • list - why - *list* of items

Are these all internal structures? But what about external relationships? Are they given by analysis?

  • B_>C ..... How->What
  • External relations -> Internal logic .... (Not What=Why) Hom C -> Hom B (Not How=Whether)
  • Eduardo's Yoneda Lemma diagram is the foursome.
  • Loss of info from How to What is equal to the Loss of info from "Why for What" to "Why for How".
  • How: inner logic. What: external view.
  • Whether (objects), what (morphisms), how (functors), why (natural transformations). Important for defining the same thing, equivalence. If they satisfy the same reason why, then they are the same.
  • The Yoneda Lemma: the Why of the external relationships leads to the Whether of the objects in the set. The latter are considered as a set of truth statements.
  • Moving from How (arrows) to What (objects).
  • Daiktai (objektai) yra visaip pramanyti. Pramanome jų žinojimo lygmenis: Ar, koks, kaip, kodėl. Nupaišyti Wenbo piešinėlį nusakantį santykius tarp smegenų (pasąmonės) kur yra tiktai pokyčiai, proto (sąmonės) kur pramonem objektus (būsenas), ir kalbos kur išmąstome objektų (būsenų) santykius. Piešinys parodo jog išmąstydami santykius, jais suprantame pokyčius. (Yoneda lema) Pokyčiai auga kvadratiniu būdu, tad yra lengviau nusakyti būsenas augančias tiesiniu būdu. Tam reikia žinoti kaip būsena susijusi su visomis kitomis būsenomis. Tuomet tokią būseną galima suvokti kaip sąvoką objektą ir santvarka tampa ja paprastesnė.
  • The four levels Whether, What, How, Why differ in how they focus on objects or morphisms.

Four programming paradigms:

  • Procedural (imperative, top-down) - Fortran, C, Cobol. Statements are structured into procedures, subroutines, functions, they make procedure calls.
  • Logical (declarative) - Prolog. Statements express facts (assertions), rules (inferences) and queries about problems within a system. Rules are logical clauses with a head and a body. Expresses knowledge independently of implementation. Knowledge separated from use. Programs can be more flexible, compressed, understandable.
  • Functional - Haskell, Lisp. Computation is an evaluation of mathematical functions. Pure functions are those that take an argument list as input and output a return value. They do not depend on global data or class member's data. No side effects. Input not affected. A function can recursively call itself. Referentially transparent expressions can be replaced by their value without changing the program's behavior. Functions are first-class, they can be treated as any other variable: they can be used as input, returned as output, or be assigned to a variable. Variables are immutable, they can't be modified after initialization.
  • Object-oriented - Ruby, Java, C++, Python. Real world entities are represented by Classes. Objects are instances of classes such that each object encapsulates a state (fields, attributes) and behavior (methods, what you do with the object). Objects interact with each other by passing messages.
    • Encapsulation: Classes bundle the data and methods, hide the internal representation, and provide a simple and clear interface.
    • Inheritance: A hierarchy of classes by which one class derives from another class.
    • Data abstraction: Interface shows essential information, hides details.
    • Polymorphism: A variable, function or object may take on multiple forms.

Levels of knowledge

  • In the mathematical ways of figuring things out: Multiset is What, Set is How, List is Why. The reason that Set Theory works is that it is based on How, which is the level for all answers.
  • In a diagram, we have a map from shape J (the index category) to the category C. Note that the index diagram is How.
  • Significant=unencompassable. Covering=encompassing=Why.

Peirce's four kinds of sign. An object C can be understood as:

  • Thing. The object itself.
  • Index:

In the Yoneda Lemma, a functor F takes us from How to What. And an identity functor I takes us from Why (all morphisms) to Whether (the identity (do nothing) morphism which is "ownership" of the system). Going from a functor F to the identity functor I lets us go from the relative to the absolute.

Whether-What-How-Why

  • Why: Set of relationships between A and A (or A and B)
  • Whether: Set of identity morphisms between A and A (or A and B)
  • How and What? not sets?
  • The foursome defines Not as when it relates the levels of the foursome with the negation of the four representations of the nullsome.
  • Things become entangled? Why (disparate reasons) -> whether (entangled consequences).
Keisti - Įkelti - Istorija - Spausdinti - Naujausi keitimai -
Search:
Šis puslapis paskutinį kartą keistas February 23, 2022, at 04:13 PM