???so... ??seems like there _is_ this standard functor model(t)^op -> t ... ??and maybe sometimes it's full and faithful, but not always... ??something about needing "enough degeneracy morphisms" (or something...) to get full-and-faithfulness ... ??...

??something about "isbell conjugation" here ??? ...

??something about ... ??projective variety as lacking in globally defined functions ... ??and so forth ... ?? ....