Copower functors

DOI10.1016/J.TCS.2008.09.057MaRDI QIDQ1006640zbMATH OpenOpenAlexFDO

Authors H. Peter Gumm

Publication date 25 March 2009

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2008.09.057

zbMATH Keywords

signature functors

Mathematics Subject Classification ID

Categories of machines, automata (18B20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Coalgebras for fuzzy transition systems
• Functors for coalgebras
• Equational and implicational classes of coalgebras
• On the structure of categories of coalgebras
• Presentation of set functors: a coalgebraic perspective

Cites work

• Equidivisible semigroups
• Foundations of Software Science and Computational Structures
• scientific article; zbMATH DE number 1231625 (Why is no real title available?)
• scientific article; zbMATH DE number 3280106 (Why is no real title available?)
• scientific article; zbMATH DE number 3290336 (Why is no real title available?)
• scientific article; zbMATH DE number 3291978 (Why is no real title available?)
• Monoid-labeled transition systems
• Products of abstract algebras
• Refinement monoids, Vaught monoids, and Boolean algebras
• Structured transition systems with parametric observations: observational congruences and minimal realizations
• Types and coalgebraic structure
• Universal coalgebra: A theory of systems

Cited in

(7)

• Free-lattice functors weakly preserve epi-pullbacks
• Coaction functors
• A coalgebraic perspective on linear weighted automata
• Monoid-labeled transition systems
• A multiplicative normal functor is a power functor
• Hybrid logic with the difference modality for generalisations of graphs
• Proving behavioural apartness

This page was built for publication: Copower functors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1006640)