Categories of sketched structures

Abstract

Algebraic theories of Lawvere give an axiomatic way to define universal algebras; but they do not cover structures defined by partial laws, such as categories. However, all these structures may be defined by sketches. Other examples of sketched structures are: categories equipped with a partial or a total choice of limits, discretely structured categories, adjoint functors, and also less algebraic structures, such as topologies.