Skip to main content
4 events
when toggle format what by license comment
Jan 31, 2022 at 12:46 comment added David Roberts The notation is meant to indicate the source and target of the groupoid scheme arising from the algebraic group. In this instance, both of those arrows are the (same) structure morphism mapping the group scheme $G$ to the base scheme $S$. In the topological category, one might take a topological group, and consider (as one can, there) $S=\ast$. Then there would be a groupoid with a single object.
Jan 31, 2022 at 12:36 history edited Niels CC BY-SA 4.0
edited body
Jan 31, 2022 at 9:33 comment added Niels Look at the definition of a groupoid in Olsson's book: 3.4.4 p.79.
Jan 31, 2022 at 8:51 history answered Niels CC BY-SA 4.0