I’ve added to my book a theorem with a triangular diagram of isomorphisms about representing filters on a set as unfixed filters or as filters on the poset of all small (belonging to a Grothendieck universe) sets.

The theorem is in the subsection “The diagram for unfixed filters”.