Abstract:Let $G$ be a group acting on a category $\mathcal{C}$. We give a definition for a functor $F\colon \mathcal{C} \to \mathcal{C}'$ to be a $G$-covering and three constructions of the orbit category $\mathcal{C}/G$, which generalizes the notion of a Galois covering of locally finite-dimensional categories with group $G$ whose action on $\mathcal{C}$ is free and locally bonded defined by Gabriel. Here $\mathcal{C}/G$ is defined for any category $\mathcal{C}$ and we do not require that the action of $G$ is free or locally bounded. We show that a $G$-covering is a universal "$G$-invariant" functor and is essentially given by the canonical functor $\mathcal{C} \to \mathcal{C}/G$. By using this we improve a covering technique for derived equivalence. Also we prove theorems describing the relationships between smash product construction and the orbit category construction by Cibils and Marcos (2006) without the assumption that the $G$-action is free. The orbit category construction by a cyclic group generated by an auto-equivalence modulo natural isomorphisms (e.g., the construction of cluster categories) is justified by a notion of the "colimit orbit category". In addition, we give a presentation of the orbit category of a category with a monoid action by a quiver with relations, which enables us to calculate many examples.

Fundamental Groups and Covering of Digraphs

The fundamental group(oid) in discrete homotopy theory

On Fundamental Groups of Finsler Manifolds

Homotopy Covers of Graphs

Fundamental Groups of Hamming Graphs

Coverings of Graphoids: Existence Theorem and Decomposition Theorems

On the path homology of Cayley digraphs and covering digraphs

A T ] 1 J Ul 2 01 4 Homotopy Theory for Digraphs

A generalization of Gabriel's Galois covering functors and derived equivalences

Constraining mapping class group homomorphisms using finite subgroups

Enumerating regular graph coverings whose covering transformation groups are -extensions of a cyclic group

On Subgroup Topologies on Fundamental Groups

On Topologized Fundamental Group and covering spaces of topological groups

Epitopological and pseudotopological fundamental group functors

Homotopy Groups and Puppe Sequence of Digraphs

Subrepresentations in the homology of finite covers of graphs

Big fundamental groups: Generalizing homotopy and big homotopy

Conjugacy and Element-Conjugacy of Homomorphisms of Compact Lie Groups

The fundamental group as a topological group

On G-Covering Subgroup Systems for Some Saturated Formations of Finite Groups

An infinite family of braid group representations