在本文中,我们介绍了笛卡尔微分类别中的微分指数映射,它从经典微分中推广了指数函数$$e^x$$ex。微分指数映射是一种与微分组合子兼容的内同态,即$$e^0 = 1$$ e 0 = 1 ...
確定! 回上一頁