?? trivial action of arbitrary "AG group" on arbitrary AG theory ... ??? as good example to experiment with .... ??? kleisli ... ???? .... ???? .....
?? level slip ..... ?????? ...... ??? try to straighten out ... ??? ....
?? action of group on _model_ of theory .... duality flip .... diaconescu ..... ???? .....
No comments:
Post a Comment