I have read 1 book( M. R. HOLMES, Elementary #SetTheory with a Universal Set -ISBN 2-87209-488-1)and one thesis ( #Constructivity and #Predicativity: Philosophical Foundations: crosella -2016) thoroughly . Among other things . Now I want to build up on these conceptual foundations, by pursuing this direction, could you suggest me , the relevent literature for this purpose?
#typetheory #categoryttheory