Dagger extension theorem

DOI10.1017/S0960129511000326MaRDI QIDQ3094166zbMATH OpenFDO

Authors Tamás Hajgató, Zoltán Ésik

Publication date 21 October 2011

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129511000326

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
• Axiomatizing weighted synchronization trees and weighted bisimilarity
• Iteration Grove Theories with Applications

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)