I would like to pose two (not so distinct) questions.
Are there any resources/references for Tarski-Grothendieck (TA) axiomatic set theory? I am asking because I constantly run into the Wikipedia article and nothing else.
I have read that both TA and Neuman-Barneys-Goedel (NBG) leave a "window" open for the category theory (CT). But what about those attempts from the camp of CT to provide an axiomatic system without the need for the set?
I would appreciate any sharp reference regarding TA, NBG, and CT.