本书以数据库作为范畴论的入门，通过实例解释了范畴论，并表明范畴论作为数学中严格，灵活且连贯的建模语言，在数学之外非常有用。