PROGRESS UPDATE (Feb 05, 2021):
I'm making a lot of progress on point 4 but the road is way longer then I believed. I must delay a post on this for another week at least. I need time to check all the details and I'm convinced that I can go very far in generalizing the trick even more. Now I'm going from the special cases to the more general, I'm adding many pages and correcting many typos and phrasing.
Here is a spoiler of where I am currently: I can now, 99%, take on the "Nixon's trick" at the same level of generality I treated the "Superfunction trick". That's not much but it's promising. Here's the vague statement.
![[Image: image.png]](https://i.ibb.co/mHrPWGZ/image.png)
What you do in fact is to take \( \chi(\sigma):=\chi(\sigma,0) \), for \( h_j(\sigma,x)=e^{\sigma-j}\cdot F(x) \) and \( f \) the successor, and to plug \( \chi(\sigma) \) in the classical superfunction trick to obtain a supefunction of F. (apologize for mixing up letters and notation, I'll work on uniformity later).
The plan is to prove all the algebraic stuff and then using Jmsn's theorems as black-boxes to derive as corollaries something useful.
---
For this reason I'll take more time for this and turn to the point 3), aka the "superfunction complete spaces".
I'm making a lot of progress on point 4 but the road is way longer then I believed. I must delay a post on this for another week at least. I need time to check all the details and I'm convinced that I can go very far in generalizing the trick even more. Now I'm going from the special cases to the more general, I'm adding many pages and correcting many typos and phrasing.
Here is a spoiler of where I am currently: I can now, 99%, take on the "Nixon's trick" at the same level of generality I treated the "Superfunction trick". That's not much but it's promising. Here's the vague statement.
What you do in fact is to take \( \chi(\sigma):=\chi(\sigma,0) \), for \( h_j(\sigma,x)=e^{\sigma-j}\cdot F(x) \) and \( f \) the successor, and to plug \( \chi(\sigma) \) in the classical superfunction trick to obtain a supefunction of F. (apologize for mixing up letters and notation, I'll work on uniformity later).
The plan is to prove all the algebraic stuff and then using Jmsn's theorems as black-boxes to derive as corollaries something useful.
---
For this reason I'll take more time for this and turn to the point 3), aka the "superfunction complete spaces".
Mother Law \(\sigma^+\circ 0=\sigma \circ \sigma^+ \)
\({\rm Grp}_{\rm pt} ({\rm RK}J,G)\cong \mathbb N{\rm Set}_{\rm pt} (J, \Sigma^G)\)