added pointer to:

- G. Max Kelly,
*Structures defined by finite limits in the enriched context, I*, Cahiers de topologie et géométrie différentielle**23**1 (1982) 3-42 [numdam:CTGDC_1982__23_1_3_0]

Fixed the first sentence from:

A sketch is one formalisation of the notion of a theory

to:

]]>The notion of a

sketchis one formalisation of the notion of atheory

added pointer to:

- Charles Wells,
*Sketches: Outline with references*, 1993 (citeseer:10.1.1.217.3531)

added pointer to the recent:

- Martin Brandenburg,
*Large limit sketches and topological space objects*(arXiv:2106.11115)

In the previous version it was claimed that the tensor product of sketches was part of a symmetric monoidal structure on the category of sketches. That is wrong. I sketched the right statement (factors in the tensor product can be swapped if the specified limits and colimits commute), gave a reference, and gave an example (I think) where one can not switch the factors.

Peter Arndt

]]>added pointer to:

- Andrée Bastiani, Charles Ehresmann,
*Categories of sketched structures*, Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 13 (1972) no. 2, pp. 104-214 (numdam:CTGDC_1972__13_2_104_0)

Fixed an insecure link, replacing it by a Numdam link.

]]>Was intending just to do a little tidying and book-keeping, but ended up rewriting the idea section as well, and giving, for my sins, the full details of a couple of examples; writing down the full details of a sketch in practise is a little more subtle than one might think if one has not tried it.

]]>The category of sketches has a well behaved symmetric monoidal structure that can be useful when discussing models of theories inside of models of theories, such as double categories or vector bundle groupoids. I thought it might be useful to have on the nlab page for sketches.

Ben MacAdam

]]>Andrée Ehresmann pointed out on the catlist that our definition of sketch was actually the definition of a realized sketch, so I fixed our page to the more general version.

]]>Added a small idea section and an example.

]]>Putting it at accessible category sounds good to me.

]]>I pasted in something Mike wrote on sketches and accessible models to sketch. But now it needs tidying up, and I’m wondering if it might have been better placed at accessible category. Alternatively we start a new page on sketch-theoretic model theory. Ideas?

]]>