?? _cartesian cocomplete smc_ -> _cocomplete smc_ ... ?? just forget cartesianness property ....
?? _cocomplete smc_ -> _cocomplete sm k-algebroid_ .... ?? take k-module objects ... ?? ....
? right adjoints of the above .... ??? cocommutative comonoids in underlying cocomplete smc of cocomplete sm k-algebroid ??? ....
?? ....
No comments:
Post a Comment