Iteration 2-theories

S. L. Bloom; Z. Esik; A. Labella; E. G. Manes

首页> 外文期刊>Applied categorical structures >Iteration 2-theories

【24h】

Iteration 2-theories

机译：迭代2理论

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

The axioms of iteration 2-theories capture, up to isomorphism, the equational properties of iteration in conjunction with horizontal and vertical composition in all algebraically complete categories. We give a concrete representation of the free iteration 2-theory generated by a 2-signature.

机译：迭代2理论的公理直到同构为止，都捕获了迭代的等式属性以及所有代数完整类别中的水平和垂直构图。我们给出由2签名生成的自由迭代2理论的具体表示。

著录项

来源
《Applied categorical structures》 |2001年第2期|共44页
作者
S. L. Bloom; Z. Esik; A. Labella; E. G. Manes;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类数学;
关键词
algebraic theories; iteration theories; 2-categories; initiality; fixed point operation; equational logic; rewriting;

机译：代数理论;迭代理论;2类;初始性;定点运算;等式逻辑;重写;

相似文献

外文文献
中文文献
专利

1. Iteration 2-theories [J] . S. L. Bloom, Z. Esik, A. Labella, Applied categorical structures . 2001,第2期

机译：迭代2理论
2. Degenerate Integrodifferential Equations Of Parabolic Type With Robin Boundary Conditions: L~2-theory [J] . Angelo Favini, Alfredo Lorenzi, Hiroki Tanabe Journal of the Mathematical Society of Japan . 2009,第1期

机译：具有罗宾边界条件的抛物型退化积分微分方程：L〜2-理论
3. Computed Tomography Image Quality Evaluation of a New Iterative Reconstruction Algorithm in the Abdomen (Adaptive Statistical Iterative Reconstruction-V) a Comparison With Model-Based Iterative Reconstruction, Adaptive Statistical Iterative Reconstruction, and Filtered Back Projection Reconstructions [J] . Goodenberger Martin H., Wagner-Bartak Nicolaus A., Gupta Shiva, Journal of computer assisted tomography . 2018,第2期

机译：计算机断层扫描图像质量评估腹部（自适应统计迭代重建-V）中的新迭代重建算法与模型的迭代重建，自适应统计迭代重建和滤波后投影重建的比较
4. Iteration 2-theories [C] . Stephen L. Bloom, Zoltan Esik, Anna Labella, International conference on algebraic methodology and software tecnology . 1997

机译：迭代2-理论
5. Distribution iteration: A robust alternative to source iteration for solving the discrete ordinates radiation transport equations in slab and XY-geometries [D] . Prins, Nicholas J. 2008

机译：分布迭代：是源迭代的可靠替代方案，用于求解平板和XY几何中的离散纵坐标辐射传输方程
6. Robust Acoustic Imaging Based on Bregman Iteration and Fast Iterative Shrinkage-Thresholding Algorithm [O] . Linsen Huang, Shaoyu Song, Zhongming Xu, 2020

机译：基于BREGMAN迭代的强大声学成像及快速迭代收缩阈值算法
7. L^2-theory for the protect overline{partial }-operator on complex spaces with isolated singularities [O] . Jean Ruppenthal 2019

机译：L ^ 2 - Protect overline { partial} -Operator与孤立奇点的复杂空间上

Iteration 2-theories

摘要

著录项

相似文献

相关主题

期刊订阅