When studying objects like profinite groups, profinite spaces and profinite rings, I have noticed that some properties just remain the same. For example they will always be inductive limits of some discrete finite spaces, or equivalently totally disconnected compact Hausdorff spaces.
I was therefore wondering, if there is some kind of a categorical generalization of these notions. Something I would call a profinite category.
I was thinking defining it either in terms of a subcategory of profinite spaces, where the objects would be profinite spaces and morphisms some subsets of continuous maps between two profinite spaces. (For profinite groups we'd require them to be morphisms of groups, for rings morphisms of rings and for modules, morphisms of modules etc...)
Other possible definition, I had in mind would be taking a subcategory of the category of finite sets with some properties that would make it possible to do projective limits and then define the objects in the profinite category as these projective limits.
Are there any references for these kinds of notions?