机译:笛卡尔效应类别是Freyd类别
LJK, Universite de Grenoble, 38041 Grenoble, France;
LJK, Universite de Grenoble, 38041 Grenoble, France;
Malhivert, 38640 Ctaix, France;
categorical logic; computational effects; monads; freyd-categories; premonoidal categories; arrows; sequential product; effect categories; cartesian effect categories;
机译:笛卡尔积分类别和上下文积分类别
机译:将自由笛卡尔封闭类别嵌入到集合类别中
机译:在S-Cartesian仿函数类别中重写双重推行 - 重写理论和应用于部分三格图
机译:笛卡尔差类别
机译:笛卡尔封闭类别中的群扩展和同调理论
机译:具有圆角笛卡尔欠采样(CIRCUS)的加速MRI:用于压缩传感和并行成像的可变密度笛卡尔采样策略
机译:笛卡尔效应类别是Freyd类别