Pages that link to "Item:Q5941161"

The following pages link to On the structure of categories of coalgebras (Q5941161):

Displaying 36 items.

• Toward weakly enriched categories: co-Segal categories (Q393527) (← links)
• Two Cartesian closed categories of information algebras (Q473187) (← links)
• Category theory for operational semantics (Q703525) (← links)
• Weak homomorphisms of coalgebras beyond \(\mathsf{Set}\) (Q742033) (← links)
• The graph conception of set (Q742483) (← links)
• Non-well-founded trees in categories (Q876383) (← links)
• Coalgebras in a category of classes (Q876384) (← links)
• More existence theorems for recursion categories. (Q1428035) (← links)
• On coalgebra based on classes (Q1434346) (← links)
• On the canonical algebraic structure of a category (Q1588070) (← links)
• Coalgebras in symmetric monoidal categories of spectra (Q1625444) (← links)
• Categories of (co)isotropic linear relations (Q1689658) (← links)
• Extensional quotient coalgebras (Q1750071) (← links)
• Cooperads and coalgebras as closed model categories (Q1868700) (← links)
• Distributivity of categories of coalgebras (Q1884878) (← links)
• Isomorphism theorems for coalgebras (Q2272535) (← links)
• The Vietoris monad and weak distributive laws (Q2307527) (← links)
• Recursively defined metric spaces without contraction (Q2373743) (← links)
• Universality of coproducts in categories of lax algebras (Q2432584) (← links)
• Coalgebraic semantics for timed processes (Q2495646) (← links)
• (Q2769437) (← links)
• Final coalgebras and a solution theorem for arbitrary endofunctors (Q2842550) (← links)
• Comprehension for coalgebras (Q2842555) (← links)
• A note on coalgebras and presheaves (Q2842566) (← links)
• Relating Coalgebraic Notions of Bisimulation (Q2888487) (← links)
• (Q4309354) (← links)
• (Q4347987) (← links)
• (Q4499310) (← links)
• Some facets of Horn covarieties in a category (Q4639649) (← links)
• Internal coalgebras in cocomplete categories: Generalizing the Eilenberg–Watts theorem (Q5157915) (← links)
• A Categorical Model of the Fusion Calculus (Q5415643) (← links)
• (Q5611812) (← links)
• The slice classification of categories of coalgebras for comonads (Q5932476) (← links)
• Weighted and branching bisimilarities from generalized open maps (Q6091200) (← links)
• On star expressions and completeness theorems (Q6653760) (← links)
• Exact sequences in categories of coalgebras (Q6655933) (← links)