Categories for the working mathematician / S. Mac Lane
Sheaves in geometry and logic : a first introduction to topos theory / Saunders Mac Lane, Ieke Moerdijk
Homology / Saunders Mac Lane

とりあえず貼っときますね。
あと、AとBの組、という言葉の性質で、実際に数学で必要なのは
(A,B) = (C,D) ⇔ A = C かつ B = D
だけですから、別に有限個なら、たとえばクラス二つの組とかでも
問題なく定義できると思いますよ？クラス全体と別に、
二つのクラスの組の領域が有ると考えてもいいですし、
そうでなくてpair(A,B,C)でAはBとCの組である、ということを
表すような述語を導入してもいいですし。
まあ末節なのでわざわざそのようなものを導入する人は居ませんが。