Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
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?
Putting it at accessible category sounds good to me.
Added a small idea section and an example.
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.
1 to 4 of 4