scientific article; zbMATH DE number 2172972
From MaRDI portal
Publication:4680360
Recommendations
Cited in
(69)- Additions and corrections to ``Terminal coalgebras in well-founded set theory
- On coalgebra based on classes
- Universal coalgebra: A theory of systems
- The future of mathematics in economics: a philosophically grounded proposal
- Languages and models for hybrid automata: a coalgebraic perspective
- Hausdorff coalgebras
- On \(\mathbf{MV} \)-coalgebras over the category of BL-algebras
- Stick breaking, in coalgebra and probability
- A network-conscious \(\pi\)-calculus and its coalgebraic semantics
- Revisiting causality, coalgebraically
- Isomorphism theorems for coalgebras
- A new foundation for finitary corecursion and iterative algebras
- Relational presheaves, change of base and weak simulation
- A description based on languages of the final non-deterministic automaton
- Introduction to coalgebra. Towards mathematics of states and observation
- Comprehension for coalgebras
- Well-pointed coalgebras
- Relating coalgebraic notions of bisimulation. With applications to name-passing process calculi (extended abstract)
- Well-pointed coalgebras (extended abstract)
- On coalgebras over algebras
- Families of symmetries as efficient models of resource binding
- Coalgebraic logic over measurable spaces: behavioral and logical equivalence
- A single complete relational rule for coalgebraic refinement
- Initial algebras and terminal coalgebras in many-sorted sets
- From grammars and automata to algebras and coalgebras
- Final coalgebras in accessible categories
- Limits in categories of Vietoris coalgebras
- Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets
- Birkhoff's covariety theorem without limitations.
- A coalgebraic perspective on logical interpretations
- Natural duality, modality, and coalgebra
- scientific article; zbMATH DE number 1231631 (Why is no real title available?)
- scientific article; zbMATH DE number 1064116 (Why is no real title available?)
- Solving Algebraic Equations Using Coalgebra
- scientific article; zbMATH DE number 2070383 (Why is no real title available?)
- scientific article; zbMATH DE number 1497814 (Why is no real title available?)
- scientific article; zbMATH DE number 1497878 (Why is no real title available?)
- Some facets of Horn covarieties in a category
- Proper functors and fixed points for finite behaviour
- scientific article; zbMATH DE number 2087341 (Why is no real title available?)
- scientific article; zbMATH DE number 1836352 (Why is no real title available?)
- scientific article; zbMATH DE number 2112325 (Why is no real title available?)
- An approach to object semantics based on terminal co-algebras
- Minimality Notions via Factorization Systems and Examples
- Efficient Coalgebraic Partition Refinement
- Coequalizers and free triples. II
- Weak -categories via terminal coalgebras
- Initial algebra for a system of right-linear functors
- An introduction to (co)algebra and (co)induction
- A categorical model of the fusion calculus
- On biproducts and terminal coalgebras
- On terminal coalgebras derived from initial algebras
- Preface
- A categorical derivation of Lebesgue integration
- Learners' languages
- Symmetries, local names and dynamic (de)-allocation of names
- A general theory of self-similarity
- On coalgebras over algebras
- Coalgebras in functional programming and type theory
- The eventual image
- Monoidal streams for dataflow programming
- On star expressions and completeness theorems
- Exact sequences in categories of coalgebras
- Coinductive streams in monoidal categories
- On some properties of topological \(\mathbb{MV}\)-coalgebras.
- On two new types of Moore subcategories
- Weak homomorphisms of coalgebras beyond \(\mathsf{Set}\)
- Behavioural equivalences for coalgebras with unobservable moves
- 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 Q4680360)
