線型代数と圏はともかく、ベクトル解析?