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”.

Leave a Reply

Your email address will not be published. Required fields are marked *