nLab powerset structure (history)

December 12, 2022