??trying to work out some simple topos theory examples following n-category cafe discussion... getting a bit confused...

"1-skeletal simplicial sets" ... "reflexive graphs" ...

??alleged "algebraic-sub"-topos given by those where all edges are loops... ??or something??...

??corresponding in some hopefully obvious way to monoid homomorphism from walking pair of constants to walking constant (= walking idempotent ??...) ... ???...

??but when i try to work this out in certain way i get confused... ??...

hmmm....actually the way that we just phrased it sounds suggestive... fold the two constants together... ??though be careful about universal quantifier hidden in definition of "constant"?? ... or something.... ???... ??so then how _did_ i think that there was some ambiguity (or something...??..) here???.... ??maybe just a silly mistake?? ..which i might not be able to reconstruct now... ??...

??another issue...

??double-negation topology on topos of presheaves over walking loop... ??geometric morphism from ... to ... ??...

???something about leinster's question and dense vs closed ... ???or something???...

??i'm also a bit confused at the moment about the relationship between lawvere-tierney topologies, and heyting algebras as forming a malcheff variety, and heyting algebras vs distributive lattices... and so forth...