Published April 1, 1972
| Version v1
Journal article
Open
Categories of sketched structures
Authors/Creators
- 1. Département de Mathématiques, Faculte des Sciences, Amiens.
- 2. Département de Mathématiques, Universite Paris, Paris.
Description
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.