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.
created stub for 2-Lawvere theory
Any reason you decided to put the 2- on Lawvere rather than on theory, as Power+Lack did?
Any reason you decided to put the 2- on Lawvere rather than on theory, as Power+Lack did?
I feel never sure on how to do this. I think I was led by my earlier decision to say (infinity,1)-algebraic theory. Is that a bad idea? Maybe.
Well, I would consider the 2-ness as applying to the theory-ness rather than the Lawvere-ness, i.e. a 2-theory is a more general thing and a Lawvere one, or an algebraic one for that matter (or a regular one, a geometric one, etc) is only a particular case of it. But as long as there are redirects I’m not too fussed either way.
Did you see Mike’s post on n-theories?
1 to 8 of 8