Let's be as rigorous as possible in this post. Let's try to be straight forward too. Let's restrict ourselves to the \bullet and \Omega notation. This post is largely in response to Leo W.'s posts and MphLee's functional relationships. Regardless of this; all of this is drawn from my paper on compositional integration.

Let be topological neighborhoods of . Let's assume that and that . This will make things a bit simpler as we progress. These aren't necessary conditions; but they're well enough to get at the root of Mphlee'stheory.

Let be a continuously differentiable arc. Additionally, we can consider as a path along a larger arc; so that we can take a derivative in .

Let's clarify some of the language too.

If I write, for ,

This produces a well-behaved compositional integral, such that,

These are topologically neighborhoods of 0; so just call this : "there exists a neighborhood around zero".

With that cleared up, we can talk about when is a Jordan curve. Which basically just means and we don't self intersect on our path.

Theorem 1: Let be simply connected. For all Jordan curves :

Now, what happens when we start putting poles everywhere? ... I hope you remember our discussion about the residual theorem.

With which you can visualize with Mphlee's beautiful picture:

But, we're going to move around to whatever you want. And make these statements equivalent. For a more detailed description: I suggest reading this thread

Each of these closed contours are equivalent to each other under some mapping in which,

We can mod out by this equivalence relation; and we get our desired first object.

So, we're going to invent The Congruent Integral. Which is a modded out version of the above formula. In which the fundamental identity is for any two jordan curves (which contain the same singularities),

Which is up to conjugation... (I've explained this over and over, I hope you remember).

Now from this you can make another "mod out". If is holomorphic about ; then,

Which is proved using a limit. Suppose that , then,

which implies the two classes agree in a limit. So if we define a brand new equivalence class:

If we know that share the same poles and residues at the poles... We get the true congruent integral. In which, for a Jordan curve and arbitrary meromorphic functions ,

And we've effectively abelianized a lot of tangential relations to MphLee's work. It borders on what Leo W. talked about; but I believe he has his own descriptors.

In the book I, then, start taking infinite compositions; which is just ; and creating nested integrations . Where you can do pretty much everything in Cauchy's analysis; but we're in some weird modded out space. Which nonetheless; can be pulled back to a normal complex analytic scenario... Just with a lot of conjugations.

I thought I'd post this, mostly, as a direction of thought for all of MphLee's posts lately; and it's my own interpretation.

Again, the paper is at,

https://arxiv.org/abs/2003.05280

Let be topological neighborhoods of . Let's assume that and that . This will make things a bit simpler as we progress. These aren't necessary conditions; but they're well enough to get at the root of Mphlee'stheory.

Let be a continuously differentiable arc. Additionally, we can consider as a path along a larger arc; so that we can take a derivative in .

Let's clarify some of the language too.

If I write, for ,

This produces a well-behaved compositional integral, such that,

These are topologically neighborhoods of 0; so just call this : "there exists a neighborhood around zero".

With that cleared up, we can talk about when is a Jordan curve. Which basically just means and we don't self intersect on our path.

Theorem 1: Let be simply connected. For all Jordan curves :

Now, what happens when we start putting poles everywhere? ... I hope you remember our discussion about the residual theorem.

With which you can visualize with Mphlee's beautiful picture:

But, we're going to move around to whatever you want. And make these statements equivalent. For a more detailed description: I suggest reading this thread

Each of these closed contours are equivalent to each other under some mapping in which,

We can mod out by this equivalence relation; and we get our desired first object.

So, we're going to invent The Congruent Integral. Which is a modded out version of the above formula. In which the fundamental identity is for any two jordan curves (which contain the same singularities),

Which is up to conjugation... (I've explained this over and over, I hope you remember).

Now from this you can make another "mod out". If is holomorphic about ; then,

Which is proved using a limit. Suppose that , then,

which implies the two classes agree in a limit. So if we define a brand new equivalence class:

If we know that share the same poles and residues at the poles... We get the true congruent integral. In which, for a Jordan curve and arbitrary meromorphic functions ,

And we've effectively abelianized a lot of tangential relations to MphLee's work. It borders on what Leo W. talked about; but I believe he has his own descriptors.

In the book I, then, start taking infinite compositions; which is just ; and creating nested integrations . Where you can do pretty much everything in Cauchy's analysis; but we're in some weird modded out space. Which nonetheless; can be pulled back to a normal complex analytic scenario... Just with a lot of conjugations.

I thought I'd post this, mostly, as a direction of thought for all of MphLee's posts lately; and it's my own interpretation.

Again, the paper is at,

https://arxiv.org/abs/2003.05280