**Motivation for my question:**

It is a well-known fact that there exists a bijection between the set of isomorphism class of

principal $G$ bundles over a nice topological space $X$ and the set $(X,B’G)$ of homotopy class of continuous maps from $X$ to the classifying space $B’G$(using the different notation than conventional for convenience) of the Principal $G$ bundles.

Now let $X$ be a topological space and let $U=cup_{alpha in I} U_{alpha}$ be a covering of $X$. Now it is also well known that the functor $phi:C(U) rightarrow BG$ from the Cech Groupoid $C(U)$ of the cover $U$ of $X$ to the delooping groupoid $BG$ of the topological group $G$ can be considered as a principal $G$ bundle over the space $X$. (For example see definition 3.2 in https://arxiv.org/pdf/1403.7185.pdf).

If we move one step higher, that is a weak 2-functor from the Cech 2-groupoid $C^2(U)$ to the deoopolng $B^2G$ of a Weak 2 group $G$ (*For definition of Cech 2 groupoid and delooping groupoid of weak 2 group please check example 2.20 and section 3.2 of* https://arxiv.org/pdf/1403.7185.pdf and *the definition of Weak 2-group is found in* https://arxiv.org/abs/math/0307200 )

then we arrive at the definition of Principal 2-bundle over the space $X$ where the structure 2-group is the weak 2 group $G$ (*see* definition 3.8 in https://arxiv.org/pdf/1403.7185.pdf) which I guess will be equivalent to the local description of *Christoph Wockel’s definition of Principal 2 bundles in the definition 1.8 in* https://arxiv.org/pdf/0803.3692. ( *Though I did not check rigorously that they are indeed same*)

*Now motivated from the observations above ,*

**My question is the following:**

(1) Is a weak 2 functor $F:C rightarrow B^2G$ from a category $C$ to the delooping groupoid $B^2G$ of a weak 2-group $G$ can be a good choice of definition of Principal bundle over a category where the structure group is the 2-group $G$?

Or

(2) To get an appropriate notion of local trivialisation of a principal bundle over a category we have to somehow appropriately define the notion of Cech Gropoid $tilde{Ch}(U)$of a *“cover $U$ on the category $C$“* (may be coming from some Grothendieck pretopology on **Cat**, the category of small categories) and then consider the functor $tilde{F}:tilde{C}h(U) rightarrow B^2G$ as a definition of locally trivializable Principal 2-bundles over a category?

I could not find any literature where a notion of locally trivializable *Principal bundle over a general category* is explicitly mentioned. So any suggestion of literature in this direction will also be very helpful.

Also I am curious to know about it’s corresponding notion in higher categories and *in the context of infinity category* .

Thank you.