Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Kevin Arlin

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeMar 11th 2021
• (edited Mar 11th 2021)

I went through the section “For internal groups actions” (here) and fixed/adjusted the wording a little. In the lead-in paragraphs I tried to clarify the cross-referencing, for ease of the reader. In particular, where it said

is itself a topos, by the same proof.

I added pointer back to Theorem 3.11 (here) – and that theorem itself I gave a lead-in sentence to indicate that it summarizes the preceding statements (for it looked like not having a proof at all).

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeApr 6th 2021

In the Definition I have replaced the description of the morphisms as “$G$-invariant maps” by “$G$-equivariant functions” – for clarity.

(Of course the $G$-equivariant functions are the $G$-invariants in the mapping space. If that perspective is meant and felt to be crucial here, then we should make that explicit in the entry.)