Actually Andrew this page should have been called 'weak equivalence of topological bigroupoids', but I don’t have the renaming button. Can this be turned on? Ta
That’s odd. It’s there when I edit the page. Ah, but maybe this is the first edit - you don’t get the chance to rename a page when you’re first editing it. Then you should either submit then edit or cancel the creation and create the page you meant it to be.
The definition of equivalence of bigroupoids, in analogy with the definition of an equivalence of categories, comes in two flavours: the strict and the weak. The strict notion of equivalence is where the 2-functor (i.e. weak 2-functor) has a specified weak inverse. This may come with additional data, such as would give a biadjoint biequivalence (see Gurski’s work, for example). The weak notion is more along the lines of 'fully faithful and essentially surjective'. This is what we will look at here.
Recall that an internal bigroupoid (in some finitely complete category, say, such as ) is basically an internal groupoid over a space , together with composition, unit and inverse functors, satisfying some conditions. Really what we define here is a map between the underlying (truncated) globular set. All details are in the appendix to my thesis, available at HomePage.
Definition: Let be internal bigroupoids. A 2-functor is given by a map and a functor over , such that there natural isomorphisms
in . These need to satisfy some coherence relations…
Now assume that our ambient category has a Grothendieck pretopology (such as the open cover pretopology on ).
Firstly we say that a 2-functor is locally fully faithful if the functor is fully faithful (it goes without saying this is in the internal sense).
Consider the functor . We would like this to be ‘surjective’ in the appropriate sense (this will give us essential surjectivity).
However, I would like a description in terms of internal weakly-enriched-in-groupoids groupoids. Will need truncated hypercover i.e. an identity-on-objects extension of a Cech groupoid where the arrow component is a cover. Also, take the most recent version of a weak equivalence from my anafunctors work…