发现
Software 
数学笔记 Ask online https://ncatlab.org/nlab/show/cellular+approximation+theorem#applications Any functor {$F$} can be thought of as {$F:J\rightarrow C$} where {$J$} is the shape, the index set (how) and {$C$} is the image (what). And for any functor we can ask if it has a limit (an object {$L$} with maps {$\psi_X:L\rightarrow F(X)$} for all objects {$X$} of {$J$}, such that for all {$f:X\rightarrow Y$} in {$J$} we have the analogous morphisms commute in {$C$}, and that is universal as such). So that limit is Why. And is the colimit Whether? Or is whether simply the object with its identity morphism? Compare with the Yoneda lemma. Relate walks on trees to covering groups. What do conjugates (paths) mean? What is the homotopy group? https://en.wikipedia.org/wiki/Koopman%E2%80%93von_Neumann_classical_mechanics https://www.amazon.com/QuantumChallengeFoundationsMechanicsAstronomy/dp/076372470X In what sense are Feynman diagrams relativistic given that they have directions for time and for space? Instead of thinking of speed of light, think of a clock that doesn't tick, so that t=0 always. And this is the case for the quantum harmonic osciallator and for the particleclocks with no steps. One {$\exists x$}, all {$\forall x$}, many {$\neg\exists x \wedge \neg\forall x$}. Masaki Kashiwara, Pierre Schapira. Categories and Sheaves. 2006 Gerald B. Folland
Bohm Pilot Wave, Thomas Spencer Relative invariance  more global than another Relate the threecycle (taking a stand, following through, reflecting) to Kan extension as defined by filtering objects and morphisms, acting on them, and then taking the colimit or limit on that filter. Alan Turing, Cybernetics and the Secrets of Life My approach to special relativity lets me work in units in my own frame. https://en.wikipedia.org/wiki/Algorithmic_information_theory Gregory Chaitin = Shannon + Turing = CompressionDecompression as understanding. https://en.wikipedia.org/wiki/Cristian_S._Calude Philosophy of computation https://www.youtube.com/watch?v=xP5iIeKXE8 Life in life Thinking about the expansion of the universe as a reduction of density, by which the mass of particles becomes ever less important, by which we have an increase of entropy (becoming less deliberate). And we can reverse this by starting with an increase in entropy and arriving at the expansion of the universe. Relate Ellerman's heteromorphism and comma category. Consider how the understanding of Yoneda lemma in terms of a left Kan extension, and in particular, the factoring, relates to the push down automata. San Francisco Meet Up interests: Dependently typed programming languages. Language aspects of category theory. Functional programming. Topos, lambda calculus. Is type theory advantageous? Modeling infinitesimals. Kan extensions are a framework for universality. Consider example 6.1.3, the Yoneda Lemma. Think in which ways the universality of limits, colimits, adjunctions, etc. is captured by Kan extensions. All of these universal properties can be thought of in terms of initial or terminal objects in the appropriate categories, such as the category of cones, or the comma category for the universal mapping property for adjunctions. So consider the relevant categories. How do they relate to the classification of adjoint strings? Dan Shiebler. Kan Extensions in Data Science and Machine Learning Matematika išplaukia iš (poreikių tenkinimo) algoritmų taikymo, vedančio iš duotybių į bendrybes. O tos bendrybės įkūnija, išreiškia tam tikrus prieštaravimus, juos paverčia sąvokomis, kurias galima mąstyti toliau. Pavyzdžiui, apskritimas iškyla iš begalinės simetrijos visom kryptim, arba iš virve aprėpto ploto maksimalizavimo.
Mathematics is described in terms of set theory. The category of graphs {$\textrm{Set}^{A}$} where {$A$} is the category with two objects, edges E and vertices V, and two nontrivial morphisms target {$t:E\rightarrow V$} and source {$s:E\rightarrow V$}. Similarly, all mathematical structures and their structure preserving morphisms should have a similar expression in terms of sets and their relationshps. Work out various examples. Then study the role of {$\textrm{Set}^{X}$} in the Yoneda Lemma. SL(2,C) character variety related to hyperbolic geometry. SL2(C) character varieties Universal enveloping algebra is an abstraction where the generators are free and thus yield infinite generators. Whereas the Lie algebra may be in terms of concrete matrices and the underlying generators, when understood not in terms of the Lie bracket but in terms of matrix multiplication, may have relations such as {$x^2=0$}, {$h^2=1$}. Information is what you learn. What you learn grows at the boundary, has the shape of the boundary. A shape can be thought of as being created by integrating over these boundaries as they increase. TaiDanae Bradley: Information is on the Boundary
Prove that the matrix made up of eigenvectors diagonalizes a matrix. In special relativity, think of distance squared over time as surface area per time, the difference beween the surface areas of two spheres, one expanding with velocity v, and the other with velocity c. For John: How could we get negative energy? Consider how to get imaginary square roots. For example, if a speed is greater than the speed of light, then the relationship between time and position is multiplied by an imaginary number. Quaternions, Dirac equation: Pauli matrices are the threecycle for learning and they are extended by a fourth dimension of nonlearning (what is absolutely true or false) for the foursome. https://en.wikipedia.org/wiki/Lebesgue_covering_dimension Covering spaces with repetition yield the spaces they cover. Enveloping algebra (important for adjunctions) is related to Hochschild cohomology. Think of combinatorial quantum physics operator (raising and lowering operator) as a derived functor. Lifting a path is like inverting a functor. How is that related to adjunctions? Adjunction is conditional inversion. Unclear whether the empty space is path connected. Think of a universal covering space as expressing the unfolding of a space, thus expressing eternal life. Relate triangulated categories (with squiggles {$X\rightsquigarrow W = X\rightarrow TW$}) to monads with likewise squiggles. Samwel Kongere vaizdo įrašai Nafsi Afrika Acrobats  Pyramid of Peace Research/Notes
Relate {$F_1$} with the basis element 1 in a Clifford algebra. The house of knowledge for mathematics describes 4 representations (properties) of everything (onesome, totality), which through their unity establish, define space as algebraic, consisting of enumerated dimensions:
(Relate this to the binomial theorem.) And it describes 4 representation of the nullsome (center), which through their unity establish, define a point as analytic. This describes four choices:
Meanings are variously related by adjunctions. They enrich the meaning and extend the context.
4 levels of knowledge is sufficient (in the chain complexes). The house of knowledge describes those 4 levels. It relates the analytical view of a point with the algebraic view of a space. Consider the Zig Zag Lemma as applying the threecycle to set up four levels of knowledge, 4 x 3 = 12 circumstances. Counterquestions
Enveloping algebra (important for adjunctions) is related to Hochschild cohomology which is a special case of the functor Ext.
Think of combinatorial quantum physics operator (raising and lowering operator) as a derived functor.
Counterquestions
Potential energy source {$\frac{y}{2}$} (adding free cell) is in balance with kinetic energy source {$i\frac{\partial}{\partial y}$} (halflink) A chain complex is loose and has slack, which is the basis for homology. An exact sequence is tight and has no slack. A division of everything is tight and has no slack.
Fivesome
John Baez, Michael Shulman. Lectures on nCategories and Cohomology.
Note that there is only one empty set. But there could also be many empty sets. And all can be thought of as an empty set. Can the search for constancy be considered a search for emptiness? Emily Riehl, Dominic Verity. Elements of ∞Category Theory Foursome For C and D categories we have
Foursome
A functor between ordinary categories (1categories) can be:
A functor {$F:C→D$} is essentially surjective if it is surjective on objects “up to isomorphism”: If for every object {$y$} of {$D$}, there exists an object {$x$} of {$C$} and an isomorphism {$F(x)≅y$} in D. A functor F:C→D can be:
This formalism captures the intuition of how “stuff”, “structure”, and “properties” are expected to be related:
Yoneda lemma lets you go from natural isomorphism of homsets to natural isomorphism of functors. Are the doubts and counterquestions related to electromagnetism, U(1) and the related gauge theory? Observing symmetry requires breaking symmetry. https://www.masterclass.com/classes/terencetaoteachesmathematicalthinking Is the associativity diagram for monoidal categories an example of the fivesome? Involution is square root of permutation. Compare with spin as square root of geometry. Math Discovery
Local and global quantum are linked by experiments, by "the complicated interplay between infrared and ultraviolet affects", by a conspiracy of IR/UV mixing.
Walks
