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