Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added to orbit category a remark on what the name refers to (since I saw sonebody wondering about that)
Since Mackey functor is only a stub, I added a ’Guide’ in the references
Some small changes at orbit category (including making $\mathrm{Or}\, G$ into $\operatorname{Or}G$ throughout).
The difference between the results of \mathrm{}\backslash, and \operatorname{} is invisible to my eyes.
The space induced by the backslash-comma combination looked too big to me. But never mind.
There is also another construction which goes by the name of “orbit category”: when $T : \mathcal{A} \to \mathcal{A}$ is an additive automorphism, the orbit category $\mathcal{A}/T$ is the one with the same objects as $\mathcal{A}$, and in which morphisms are given by $\mathcal{A}/T(X, Y) = \bigoplus_{i \in \mathbf{Z}} \mathcal{A}(X, T^i(Y))$. This has appeared under the name “orbit category” in papers of Keller, Tabuada, and others. Perhaps we should mention this somewhere on the page?
If you have time, please do!
1 to 8 of 8