This paper contains some basic results on 2-groupoids, with special emphasis
on computing derived mapping 2-groupoids between 2-groupoids and proving their
invariance under strictification. Some of the results proven here are
presumably folklore (but do not appear in the literature to the author’s
knowledge) and some of the results seem to be new. The main technical tool used
throughout the paper is the Quillen model structure on the category of
2-groupoids introduced by Moerdijk and Svensson.