Barycentric Subdivision and Isomorphisms of Groupoids

Abstract: Given groupoids

m a t h s c r G

and

m a t h s c r H

as well as an isomorphism

P s i : e x t S d, m a t h s c r G c o n g e x t S d, m a t h s c r H

between subdivisions, we construct an isomorphism

P : m a t h s c r G c o n g m a t h s c r H

. If

P s i

equals

e x t S d F

for some functor

F

, then the constructed isomorphism

P

is equal to

F

. It follows that the restriction of

e x t S d

to the category of groupoids is conservative. These results do not hold for arbitrary categories.

This page was built for publication: Barycentric Subdivision and Isomorphisms of Groupoids