The tag has no wiki summary.

learn more… | top users | synonyms

3
votes
1answer
150 views

Reference for a path groupoid being a diffeological groupoid

I am looking for a reference that has a proof that a path groupoid is a groupoid internal to the category of diffeological spaces. I do know how to prove this fact, and a proof is not hard. My reason ...
1
vote
0answers
195 views

Which makes Lie groupoids so nice?

This is a continuation of my previous question. A) Morphisms in (1') are basically internal anafunctors, their compositions heavily use (and only) pullback/limit. B) Bibundles in (2) are basically ...
3
votes
0answers
161 views

When is a category of groupoid schemes fibred over schemes?

The category of topological categories $Cat(Top)$ is fibred over $Top$ - the functor sending a groupoid $X_1 \rightrightarrows X_0$ to its object space $X_0$ is a Grothendieck fibration. Now one can ...
5
votes
1answer
349 views

Who first came up with the idea of essential/Morita equivalence of internal groupoids/categories?

The idea that stacks can be identified with groupoids internal to the base site $S$ up to what is variously called essential/Morita equivalence is well known. The basic idea is that one takes the ...