interpretations of "tannakian" ... ????
"logic" .... "algebraic geometry as branch of logic" ..... ???? .....
"unification" ...
"correspondence between tensor cats and stacks" .... ???? ..... ??? "categorified (affine ...?? ...) alg geom" ???? .... ?? this last as maybe separate fourth interpretation ???? ......
No comments:
Post a Comment