![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
stoutfellowI've finished the first draft of the section of Taxonomy II on first-order isolated classes, which is the bulk of the paper. (As far as content goes, there's one more short section to be written, on higher-order isolated classes. It'll be short, because there aren't many of them and only one is at all interesting. After that, the introductory material and the conclusion remain.) I'm not happy with the proofs, though. They're correct, but there's a lot of repetition (among other inelegancies) in them which needs to be consolidated and transferred to the beginning of the section. I may also decide to drop some of the less interesting or more complex characterizations and see if I can add some new and better ones.
I think I'm still on track to have a good draft done by the end of the month. Then it'll be on to Taxonomy III - which will be a bear, because I have to set up another batch of machinery before I can get to the good stuff about Varignon conjugacy. ("Duality" is the right name for what happens with rho-negative classes, but I don't think it's a good description of what happens more generally, so I'm going with "conjugacy" there.)
P.S.: I can understand my spellchecker objecting to "Varignon", but what's wrong with "inelegancies" and "conjugacy"?
I think I'm still on track to have a good draft done by the end of the month. Then it'll be on to Taxonomy III - which will be a bear, because I have to set up another batch of machinery before I can get to the good stuff about Varignon conjugacy. ("Duality" is the right name for what happens with rho-negative classes, but I don't think it's a good description of what happens more generally, so I'm going with "conjugacy" there.)
P.S.: I can understand my spellchecker objecting to "Varignon", but what's wrong with "inelegancies" and "conjugacy"?
