??for paper ... ???idea that ... pleasant opportunity to deal with simple (???...) interesting (??... ??? "well-motivated"??....) examples of non-presheaf-toposes ... ???....

????subtoposes of _set_^[free monoid on 2] ??? ???"toric artin-style non-commutative geometry" ????? ..... ???? .... ???....

???vague memories of way lawvere used _set_^N as example (??...), vs occurrence in toric geometry .... ???.....