Skip to main content
eScholarship
Open Access Publications from the University of California

Category theory : definitions and examples

Abstract

Category theory was invented as an abstract language for describing certain structures and constructions which repeatedly occur in many branches of mathematics, such as topology, algebra, and logic. In recent years, it has found several applications in computer science, e.g., algebraic specification, type theory, and programming language semantics. In this paper, we collect definitions and examples of the basic concepts in category theory: categories, functors, natural transformations, universal properties, limits, and adjoints.

Main Content
For improved accessibility of PDF content, download the file to your device.
Current View