There are many foundations to set theory, ZFC, NBG, SEAR, to name a few, and while they differ in how sets, classes, and higher-order collections are represented as mathematical objects, they all attempt to provide useful tools to mathematicians without being glaringly inconsistent. 

What kinds of operations are axiomatic when working with sets, classes, conglomerates, and yet higher order collections? Or, what kinds of operations are commonly assumed to be axiomatic in fields such as category theory, etc.?

Here are some operations which I am curious about:

1) Applying the axiom of choice to the class of all sets, or to the conglomerate of all classes, and so on.

2) Given two classes $A$ and $B$, forming the set of classes $\{A,B\}$. Similarly for sets of conglomerates, etc. Of course, the set of all classes should be disallowed by Russell's paradox.

3) Given two classes $A$ and $B$ and a set $C$, make a "set-class function" mapping $C$ into $A$, a "class-class function" mapping $A$ into $B$, and a "class-set function" mapping $A$ into $C$. Similarly for any pair of higher-order collections of any type.

4) Regarding the cardinality of a set, class, conglomerate (etc) as a way to make equivalence classes of sets, classes, conglomerates (etc), respectively.

5) Regarding the cardinality of sets, classes, conglomerates, and higher-order collections as a way to define an equivalence class among all mathematical objects.

I'm the least confident that #5 will be acceptable, but the rest seem reasonable to my untrained eyes.