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 11640

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.

3 votes
Accepted

Groupoid as a 2-coequaliser

Your claim is incorrect because you truncated the simplicial diagram too much. Indeed, if what you said were true, then the isomorphism class of a group would be determined by its cardinality, but thi …
Zhen Lin's user avatar
  • 15.9k
10 votes
Accepted

Toposes (topoi) as classifying toposes of groupoids

Perhaps these slides will be helpful. I'll try to explain what happens in your special case. Let $M$ be a monoid and let $\mathcal{B} M$ be the topos of right $M$-sets. The points of $\mathcal{B} M$ …
Zhen Lin's user avatar
  • 15.9k
5 votes

Does the nerve functor (resp. fundamental groupoid functor) preserve homotopy colimits (resp...

The nerve functor does not preserve homotopy colimits. Indeed, take any simplicial set $X$ with non-trivial $\pi_n$ ($n > 1$) and consider $X$ as a simplicial diagram of sets. In $\mathbf{sSet}$, its …
Zhen Lin's user avatar
  • 15.9k