One of my projects (which I should really leave to professionals, but I'm trying anyway) is trying to find a categorical description of the permutation-invariance of models of NF, if there is such a thing.
Models of NF are permutation-invariant in the sense that given an $\in$-automorphism $\gamma$ on a model $\mathcal{M}$ of NF, the model with the same underlying set and new membership relation $x\in_\gamma y:=x\in\gamma(y)$ is also a model of exactly the same stratified sentences (and hence all the axioms of NF).
I'm interested in getting a look at this in the language of category theory (because). I know the category theory that one would know from working Awodey's Category Theory cover-to-cover, but I'm working my way through Mac Lane & Moerdijk, and revisiting Goldblatt's Topoi, to try and brush up on categorical model theory. I'm really not sure what I should be looking into that might offer more insight than, say, rephrasing the whole problem in ETCS. So far I've not recognized anything as clearly the right way to address the question.
So: Are there any areas of category theory (hopefully a little narrower than "topos theory" or the like), or specific types of constructions, that would be especially handy for getting a fresh look at what's really happening in this kind of permutation-invariant theory? Would an answer to this question depend on what kinds of constructions give us models of NF? Am I barking up the wrong tree entirely?
Sorry I can't be more specific in the question, but the whole thing is in the pre-exploratory phase...