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 merged coherent formula into coherent logic and added redirects; I didn’t see a good reason to keep them separate. Perhaps the page should actually be called coherent theory to match with geometric theory, or vice versa, any thoughts?
Prompted by the discussion in the other thread I added many of the nice properties of coherent logic to coherent logic.
Thank you! These are very useful additions. I don’t feel strongly about renaming the page ’coherent theory’.
Is it appropriate to include coherent site as a redirect to coherent coverage? I think the terminology is used.
Sure.
Done. But why does geometric coverage also redirect there?
Presumably because geometric = infinitary-coherent?
I see the relationship, but the concept is not discussed there. Is it the same thing, just on a coherent category that happens to be infinitary-coherent? Or is it a different coverage?
It’s different; I edited the page.
OK, thanks.
Heh, this is one of the problems with using the word “theory” to refer to the classifying category of a theory. I would say the intended meaning is that a syntactic algebraic theory simply is a coherent theory without any modification required. This is a much more trivial observation than the theorem about embeddings of categories.
1 to 15 of 15