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)

zbMATH Keywords

coproductLawvere theoryranked alphabet(two-sided) ideal(Conway) semiring\(\Sigma\)-treedagger theoryfixed-point identitygrove theorypartial Conway theorypartial iteration theorypartial iterative theorypartial matrix theoryscalar morphism

Mathematics Subject Classification ID

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)

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

Cites work

• Axiomatizing rational power series over natural numbers
• Completeness of Park induction
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Group axioms for iteration
• Matricial theories
• Scalar and vector iteration
• Vector Iteration in Pointed Iterative Theories

Cited in

(3)

• A generalized θ-contraction and related fixed point theorems
• Iteration Grove Theories with Applications
• Axiomatizing weighted synchronization trees and weighted bisimilarity

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)