scientific article; zbMATH DE number 1314223

MaRDI QIDQ4256309zbMATH OpenFDO

Authors James Worrell

Publication date 12 July 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=1919004

zbMATH Keywords

accessible endofunctorcomplete ulta-metric spacesterminal coalgebra

Mathematics Subject Classification ID

Categories of machines, automata (18B20) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• On the final sequence of a finitary set functor
• Terminal coalgebras in well-founded set theory
• Final coalgebras in accessible categories
• On final coalgebras of continuous functors

Cited in

(30)

• On the construction of free algebras for equational systems
• On final coalgebras of continuous functors
• Coalgebraic minimization of HD-automata for the -calculus using polymorphic types
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Logic programming: laxness and saturation
• Bialgebraic foundations for the operational semantics of string diagrams
• A network-conscious \(\pi\)-calculus and its coalgebraic semantics
• Revisiting causality, coalgebraically
• From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference
• Structural operational semantics for continuous state stochastic transition systems
• A modular approach to defining and characterising notions of simulation
• Coalgebraic semantics for timed processes
• Final coalgebras for functors on measurable spaces
• Definability, canonical models, compactness for finitary coalgebraic modal logic
• Towards coalgebraic behaviourism
• Predicate liftings versus nabla modalities
• Families of symmetries as efficient models of resource binding
• A coinductive calculus for asynchronous side-effecting processes
• Category theoretic understandings of universal algebra and its dual: monads and Lawvere theories, comonads and what?
• Universal constructions for (co)relations: categories, monoidal categories, and props
• Algebras, coalgebras, monads and comonads
• Coalgebraic semantics for probabilistic logic programming
• On the final sequence of a finitary set functor
• scientific article; zbMATH DE number 7649893 (Why is no real title available?)
• Choice structures in games
• Symmetries, local names and dynamic (de)-allocation of names
• Stone coalgebras
• Category theory for operational semantics
• Weakly terminal objects in quasicategories of \(\mathcal{SET}\) endofunctors
• A coalgebraic semantics for causality in Petri nets

This page was built for publication:

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