Composition, bullet notation and the general role of categories
#1
This follows from the discussion held at: MphLee, Generalized Kneser superfunction trick (the iterated limit definition), (January 21, 2021), Tetration Forum.



Quote:But if I did all this bullet stuff with \( \circ \)-that's not really how \( \circ \) is usually used, so I'd be overriding the meaning of an existent symbol within this context. Better to use a new symbol and be fresh. This is especially beneficial when we talk about \( ds\bullet z \) which is almost like a differential form. Writing \( ds\circ z \) would be going a step too far I think.

It is clear to me where you are coming from. Your solution is pleasant, pretty, comfortable and the notation, as usually happens with good notation, hints at new developments, e.g. the differential forms. Even if I don't get \( n \)-forms yet and exterior algebra feels alien to me I feel it's a similarity worth considering: for this and another reason, I like your choice. I feel like you are aiming, not secretly at all, to a general infinitesimal compositional calculus.

But said that you shouldn't be overly confident about the variable vs function distinction:

Quote:  \( f \circ g \circ z \)
Wtf is that nonsense? lol

What nonsense is this? It's abstract nonsense!

In category theory, a land where only composition and arrows make the whole ontology, writing \( f \circ g \circ z \) makes perfect sense, not only that, it means exactly what you expect it should.

More than that: I claim that the natural home for general iterated compositions are categories!
In the last part (mostly in the attached pdf+the pdf has a few pages of very gentle introduction to categories) I'll offer moral reasons for that but first let's inspect your "nonsensical" composition.

About evaluation.
In general categories morphisms are just abstract arrows, not functions, and evaluation of them doesn't generally make sense because not every object can be conceived as a bag of something, e.g. points. The philosophy of category theory is exactly this: ignore what's inside, the inner structure of things, and solely observe how your things interact with each other.

There are some very special categories where objects are indeed made of points, e.g. the category of topological spaces, of vector spaces, of abelian groups or the category of bare sets: with this I mean that some categories have among all the objects a special "point object" \( * \).

In these particular categories a morphism from this objectified abstract point to an arbitrary object \( X \) can be thought as (a choice of) a point \( x \) in \( X \)

\( *\overset{x}{\longrightarrow}X \)

therefore defining the set points of \( X \) to be the (hom-)set of arrows
\( {\rm Points}(X):={\rm Hom}(*,X)=\{x\,|\,*\overset{x}{\longrightarrow}X\} \)

For example, for a bare set \( X \) we have \( X^1\simeq X \) where \( 1 \) is a singleton; the set of group homomorphisms from the group of integers to \( G \) is in bijection with the set of group elements of \( G \), i.e. \( {\rm Hom}_{\rm Grp}({\mathbb Z},G)\simeq G \); the linear applications from a field \( \mathbb K \), seen as a vector space, to a \( \mathbb K \)-vector space \( V \) are in bijection with vectors of \( V \), i.e. \( {\rm Hom}_{\rm Vec}({\mathbb K},V)\simeq V \)

[Image: points.png]
and all of this without actually being able to look inside our objects nor knowing what set membership is!

In the case you make, given an abstract arrow \( X\overset{f}{\to}Y \) and a point \( *\overset{x}{\to}X \) we can evaluate \( f \) at \( x \) composing the two and producing a new point \( *\overset{y}{\to}Y \)

[Image: bullet0-4.jpg]

Here the TeXed post in pdf+a mini guide on categories.

.pdf   (2021 02 02) Composition bullet notation and the general role of categories - the softest introduction ever made.pdf (Size: 585.27 KB / Downloads: 462)

MSE MphLee
Mother Law \((\sigma+1)0=\sigma (\sigma+1)\)
S Law \(\bigcirc_f^{\lambda}\square_f^{\lambda^+}(g)=\square_g^{\lambda}\bigcirc_g^{\lambda^+}(f)\)


Messages In This Thread
Composition, bullet notation and the general role of categories - by MphLee - 02/02/2021, 01:44 AM

Possibly Related Threads…
Thread Author Replies Views Last Post
  another infinite composition gaussian method clone tommy1729 2 941 01/24/2023, 12:53 AM
Last Post: tommy1729
  Consistency in the composition of iterations Daniel 9 3,475 06/08/2022, 05:02 AM
Last Post: JmsNxn
  Categories of Tetration and Iteration andydude 13 34,679 04/28/2022, 09:14 AM
Last Post: MphLee
  Improved infinite composition method tommy1729 5 4,335 07/10/2021, 04:07 AM
Last Post: JmsNxn
  A Notation Question (raising the highest value in pow-tower to a different power) Micah 8 15,982 02/18/2019, 10:34 PM
Last Post: Micah
  Inverse super-composition Xorter 11 31,039 05/26/2018, 12:00 AM
Last Post: Xorter
  [2014] composition of 3 functions. tommy1729 0 4,095 08/25/2014, 12:08 AM
Last Post: tommy1729
  composition lemma tommy1729 1 5,824 04/29/2012, 08:32 PM
Last Post: tommy1729
  A notation for really big numbers Tai Ferret 4 13,372 02/14/2012, 10:48 PM
Last Post: Tai Ferret
  General question on function growth dyitto 2 8,762 03/08/2011, 04:41 PM
Last Post: dyitto



Users browsing this thread: 1 Guest(s)