Thursday, April 28, 2011

??right adjoint part of classical t-model geometric morphism ... ????....

_set_ -> t .... ???...

?? (??special sort of ??) boolean algebra object in t ????? ..... ??conceptual interpretation ?? ....

No comments:

Post a Comment