Dagger extension theorem
DOI10.1017/S0960129511000326zbMATH Open1241.18005MaRDI QIDQ3094166FDOQ3094166
Authors: Tamás Hajgató, Zoltán Ésik
Publication date: 21 October 2011
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Recommendations
- Equational properties of fixed point operations in Cartesian categories: an overview
- Iteration Grove Theories with Applications
- Equational properties of fixed-point operations in Cartesian categories: an overview
- Equational properties of iteration in algebraically complete categories
- Matrix and matricial iteration theories. II
- scientific article; zbMATH DE number 2040320
- scientific article; zbMATH DE number 1114042
- scientific article; zbMATH DE number 4197440
- Introduction to extensive and distributive categories
- Iteration 2-theories
coproductLawvere theoryranked alphabet(two-sided) ideal(Conway) semiring\(\Sigma\)-treedagger theoryfixed-point identitygrove theorypartial Conway theorypartial iteration theorypartial iterative theorypartial matrix theoryscalar morphism
Trees (05C05) Matrices over special rings (quaternions, finite fields, etc.) (15B33) Specification and verification (program logics, model checking, etc.) (68Q60) Semirings (16Y60) Theories (e.g., algebraic theories), structure, and semantics (18C10) Semantics in the theory of computing (68Q55) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)
Cites Work
Cited In (3)
This page was built for publication: Dagger extension theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3094166)