scientific article; zbMATH DE number 2172972
zbMATH Open1080.18005MaRDI QIDQ4680360FDOQ4680360
Authors: Jiří Adámek 
Publication date: 1 June 2005
Full work available at URL: https://eudml.org/doc/125538
File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)
Title of this publication is not available (Why is that?)
Recommendations
automatonalgebracoalgebraequationmonadterminal coalgebrafactorization systemcocomplete categorycomplete categoryinitial algebra
Categories of sets, characterizations (18B05) Categories of algebras (08C05) Eilenberg-Moore and Kleisli constructions for monads (18C20) Accessible and locally presentable categories (18C35) Applications of universal algebra in computer science (08A70) Categories and theories (18C99)
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
- Final coalgebras in accessible categories
- Natural duality, modality, and coalgebra
- Additions and corrections to ``Terminal coalgebras in well-founded set theory
- Coalgebraic logic over measurable spaces: behavioral and logical equivalence
- Title not available (Why is that?)
- The eventual image
- An approach to object semantics based on terminal co-algebras
- Some facets of Horn covarieties in a category
- Title not available (Why is that?)
- Title not available (Why is that?)
- Weak \(\infty\)-categories via terminal coalgebras
- Universal coalgebra: A theory of systems
- Learners' languages
- A coalgebraic perspective on logical interpretations
- A categorical model of the fusion calculus
- Preface
- Solving Algebraic Equations Using Coalgebra
- A network-conscious \(\pi\)-calculus and its coalgebraic semantics
- 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)
- Minimality Notions via Factorization Systems and Examples
- Birkhoff's covariety theorem without limitations.
- From grammars and automata to algebras and coalgebras
- Symmetries, local names and dynamic (de)-allocation of names
- Isomorphism theorems for coalgebras
- On coalgebra based on classes
- Title not available (Why is that?)
- Languages and models for hybrid automata: a coalgebraic perspective
- Families of symmetries as efficient models of resource binding
- An introduction to (co)algebra and (co)induction
- A categorical derivation of Lebesgue integration
- Comprehension for coalgebras
- Proper functors and fixed points for finite behaviour
- On coalgebras over algebras
- Coalgebras in functional programming and type theory
- On coalgebras over algebras
- Monoidal streams for dataflow programming
- On star expressions and completeness theorems
- Exact sequences in categories of coalgebras
- A new foundation for finitary corecursion and iterative algebras
- A single complete relational rule for coalgebraic refinement
- Revisiting causality, coalgebraically
- 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
- On biproducts and terminal coalgebras
- Well-pointed coalgebras
- Behavioural equivalences for coalgebras with unobservable moves
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)
