Published April 1, 1972 | Version v1

Categories of sketched structures

  • 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.

Notes

http://www.numdam.org/item/CTGDC_1972__13_2_104_0/

Files

Categories_Sketched_Structures.pdf

Files (7.0 MB)

Name Size
md5:680f8ee8e4b553db62b1767869f48b07
7.0 MB Preview Download