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!
added pointer to the original:
added pointer to:
maded more explicit that and where Dwyer-Kan gave the general definition:
1 to 11 of 11