.Set: Doctrines and Summations