Pages that link to "Item:Q4106724"
From MaRDI portal
The following pages link to Coalgebras and cartesian categories (Q4106724):
Displaying 29 items.
- Monoidal computer. I: Basic computability by string diagrams (Q385721) (← links)
- Tail recursion through universal invariants (Q685396) (← links)
- Monoidal categories with natural numbers object (Q920197) (← links)
- A categorical framework for the quantum harmonic oscillator (Q1008298) (← links)
- Cartesian bicategories. I (Q1098929) (← links)
- Two-dimensional monad theory (Q1121980) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- An embedding theorem for tangent categories (Q1682009) (← links)
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax. (Q1853456) (← links)
- Completions, comonoids, and topological spaces (Q2575766) (← links)
- A variety theorem for relational universal algebra (Q2695366) (← links)
- GS\(\cdot \Lambda \) theories: a syntax for higher-order graphs (Q2842817) (← links)
- Induction, coinduction, and adjoints (Q2842818) (← links)
- (Q3767474) (← links)
- From tensor products to products (Q3898642) (← links)
- ! and ? – Storage as tensorial strength (Q4715669) (← links)
- A categorical approach to the semantics of argumentation (Q4882497) (← links)
- (Q5015209) (← links)
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure (Q5058366) (← links)
- A dialectica-like model of linear logic (Q5096268) (← links)
- Semimodule Enrichment (Q5415638) (← links)
- (Q5875356) (← links)
- From gs-monoidal to oplax cartesian categories: constructions and functorial completeness (Q6077384) (← links)
- The algebra of the Feistel-Toffoli construction (Q6087902) (← links)
- Hypernormalisation in an abstract setting (Q6116181) (← links)
- Cornering Optics (Q6150147) (← links)
- Cartesian double theories: a double-categorical framework for categorical doctrines (Q6492255) (← links)
- The game semantics of game theory (Q6612787) (← links)
- Monoidal streams for dataflow programming (Q6649486) (← links)