Abstract

Diagrammatic languages are a formalization of the use of commutative diagrams to describe properties of categories. Their use may be generalized to describe the objects of any category. A system of proof is presented which is complete for the diagrammatic languages corresponding to locally small cocomplete categories where every object is presentable