Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 3473

A groupoid is a category where all morphisms are invertible. This notion can also be seen as an extension of the notion of group. A motivating example is the fundamental groupoid of a topological space with respect to several base points, compared to the usual fundamental group.

4 votes

reference request for essential equivalence of top. groupoids

For example, this is proved as: Lemma 3.34 in Lerman, E.: Orbifolds as stacks? Proposition 60 in Metzler, D.S.: Topological and Smooth Stacks
Konrad Waldorf's user avatar
3 votes

What is the 2-category whose 0-objects are Lie algebroids?

We'll have to talk about morphisms between Lie algebroids over different base manifolds (these are, for instance, the objects of the Lie groupoids they come from). … Applying this functor to spans of Lie groupoids produces immediately a span of Lie algebroids, both in the directed and undirected version. …
Konrad Waldorf's user avatar
15 votes
0 answers
194 views

Are Lie groupoids just groupoids internal to smooth manifolds?

To give some background, let's recall that the difference between Lie groupoids and groupoids internal to smooth manifolds is that in the first case we require source and target maps to be submersions, … The Wikipedia page says that Ehresmann originally considered groupoids internal to smooth manifolds, and that this definition was replaced by Pradines by the current definition of Lie groupoids, because …
Konrad Waldorf's user avatar
7 votes
0 answers
117 views

Example of a groupoid internal to the category of smooth manifolds that is not a Lie groupoid

This questions is about the distinction between: Lie groupoids: we require source and target maps to be submersions. This implies that the domain of the composition map, $G_1 \;{}_s\! … Groupoids internal to the category of smooth manifolds. Here we only require that the fibre product $G_1 \;{}_s\!\times_t G_1$ exists. Recall that transversality is sufficient but not necessary. …
Konrad Waldorf's user avatar