对一般类别理论和构成理论背景的数学结构的完整介绍。