Coalgebras and cartesian categories
From MaRDI portal
Publication:4106724
DOI10.1080/00927877608822127zbMath0338.18005OpenAlexW2030649548MaRDI QIDQ4106724
Publication date: 1976
Published in: Communications in Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00927877608822127
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (26)
String diagram rewrite theory II: Rewriting with symmetric monoidal structure ⋮ Cartesian bicategories. I ⋮ Two-dimensional monad theory ⋮ Monoidal computer. I: Basic computability by string diagrams ⋮ A dialectica-like model of linear logic ⋮ An embedding theorem for tangent categories ⋮ From gs-monoidal to oplax cartesian categories: constructions and functorial completeness ⋮ The algebra of the Feistel-Toffoli construction ⋮ Hypernormalisation in an abstract setting ⋮ Cornering Optics ⋮ Unnamed Item ⋮ A variety theorem for relational universal algebra ⋮ Unnamed Item ⋮ Monoidal categories with natural numbers object ⋮ A categorical approach to the semantics of argumentation ⋮ Tail recursion through universal invariants ⋮ Semimodule Enrichment ⋮ A categorical framework for the quantum harmonic oscillator ⋮ From tensor products to products ⋮ ! and ? – Storage as tensorial strength ⋮ Unnamed Item ⋮ GS·Λ Theories ⋮ Induction, Coinduction, and Adjoints ⋮ Completions, comonoids, and topological spaces ⋮ A functorial semantics for multi-algebras and partial algebras, with applications to syntax. ⋮ Dynamic connectors for concurrency
Cites Work
This page was built for publication: Coalgebras and cartesian categories
