SUO: Powers That B
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
Robert,
I am not sure if it is what you are after,
but you may want to look at the subobject
and power object material in Barr & Wells,
'Category Theory for Computing Science',
Prentice Hall, London, UK, 1990. This is
a rather older text from the last time that
I was hot on the trail of the toposaurus,
and there was a lot of ferment at the time
about "partial equivalence relations" (PER's)
and their use as models for lambda calculus,
so perhaps some of the dust has settled by now.
Happy Hunting!
Jon Awbrey
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤