The following pages link to Introduction to coalgebra (Q4680360):
Displaying 50 items.
- Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets (Q328657) (← links)
- A coalgebraic perspective on logical interpretations (Q368477) (← links)
- Natural duality, modality, and coalgebra (Q418910) (← links)
- Symmetries, local names and dynamic (de)-allocation of names (Q618165) (← links)
- A general theory of self-similarity (Q626101) (← links)
- On coalgebras over algebras (Q639641) (← links)
- Coalgebras in functional programming and type theory (Q639643) (← links)
- Weak homomorphisms of coalgebras beyond \(\mathsf{Set}\) (Q742033) (← links)
- Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
- A coalgebraic semantics for causality in Petri nets (Q890619) (← links)
- Additions and corrections to ``Terminal coalgebras in well-founded set theory'' (Q1318731) (← links)
- On coalgebra based on classes (Q1434346) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- The future of mathematics in economics: a philosophically grounded proposal (Q1616105) (← links)
- Languages and models for hybrid automata: a coalgebraic perspective (Q1786567) (← links)
- Hausdorff coalgebras (Q2024924) (← links)
- On \(\mathbf{MV} \)-coalgebras over the category of BL-algebras (Q2100417) (← links)
- Stick breaking, in coalgebra and probability (Q2104486) (← links)
- A network-conscious \(\pi\)-calculus and its coalgebraic semantics (Q2253186) (← links)
- Revisiting causality, coalgebraically (Q2257982) (← links)
- Isomorphism theorems for coalgebras (Q2272535) (← links)
- A new foundation for finitary corecursion and iterative algebras (Q2304521) (← links)
- Relational presheaves, change of base and weak simulation (Q2341703) (← links)
- A description based on languages of the final non-deterministic automaton (Q2449045) (← links)
- Introduction to coalgebra. Towards mathematics of states and observation (Q2828459) (← links)
- Comprehension for coalgebras (Q2842555) (← links)
- Well-pointed coalgebras (Q2846574) (← links)
- Relating Coalgebraic Notions of Bisimulation (Q2888487) (← links)
- On coalgebras over algebras (Q2919449) (← links)
- Families of symmetries as efficient models of resource binding (Q2919450) (← links)
- Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence (Q2994480) (← links)
- A Single Complete Relational Rule for Coalgebraic Refinement (Q2994487) (← links)
- From Grammars and Automata to Algebras and Coalgebras (Q3014929) (← links)
- Final coalgebras in accessible categories (Q3094168) (← links)
- Limits in categories of Vietoris coalgebras (Q3119464) (← links)
- Birkhoff's covariety theorem without limitations. (Q3417718) (← links)
- Solving Algebraic Equations Using Coalgebra (Q4460687) (← links)
- (Q4466637) (← links)
- Some facets of Horn covarieties in a category (Q4639649) (← links)
- (Q4683859) (← links)
- Minimality Notions via Factorization Systems and Examples (Q5043590) (← links)
- Efficient Coalgebraic Partition Refinement (Q5111646) (← links)
- Coequalizers and free triples. II (Q5233738) (← links)
- Weak $\infty$-categories via terminal coalgebras (Q5239850) (← links)
- A Categorical Model of the Fusion Calculus (Q5415643) (← links)
- Preface (Q5966291) (← links)
- A categorical derivation of Lebesgue integration (Q6134744) (← links)
- The eventual image (Q6593824) (← links)
- Monoidal streams for dataflow programming (Q6649486) (← links)
- On star expressions and completeness theorems (Q6653760) (← links)
