PROGRESS UPDATE (Feb 27, 2021):
What you suggest seems reasonable. I'm drafting a comprehensive paper/post about the theory of those spaces from a general and historical point of view. What I'm posting in the thread
was part of that but at the end I convinced myself to cut out the questions and my doubts and post them separately. I'll use your feedback to tune the paper. Right now it is a 7-page paper with a detailed and commented bibliography. I hope it will be a valuable reference for the forum in general.
ps: I'm sorry to be that slow but I got lot of work to do.
What you suggest seems reasonable. I'm drafting a comprehensive paper/post about the theory of those spaces from a general and historical point of view. What I'm posting in the thread
Doubts on the domains of Nixon's method, (February 27, 2021)
was part of that but at the end I convinced myself to cut out the questions and my doubts and post them separately. I'll use your feedback to tune the paper. Right now it is a 7-page paper with a detailed and commented bibliography. I hope it will be a valuable reference for the forum in general.
ps: I'm sorry to be that slow but I got lot of work to do.
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)\)