Friday, October 21, 2011

?? "natural hyperdoctrine" .... ??

?? hyperdoctrine (?? of some particular kind depending on d ?? ...) over base d and "t-oidal theory of doctrine d" ?? ..... ??? ....

?? "t-oidal" vs "t-modeled" ??? ..... ???? ......

No comments:

Post a Comment