Bilinearity and Cartesian Closed Monads.

DOI10.7146/math.scand.a-11042zbMath0253.18006OpenAlexW2531355220MaRDI QIDQ5666708

Anders Kock

Publication date: 1972

Published in: MATHEMATICA SCANDINAVICA (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/166201

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Actions of a monoidal category, tensorial strength (18D25)

Related Items

Unnamed Item ⋮ Semantics of weakening and contraction ⋮ Monads for which structures are adjoint to units ⋮ Quantale-Enriched Multicategories Via Actions ⋮ Dagger categories of tame relations ⋮ A dialectica-like model of linear logic ⋮ Involutive categories and monoids, with a GNS-correspondence ⋮ From probability monads to commutative effectuses ⋮ Ambiguity and Incomplete Information in Categorical Models of Language ⋮ From gs-monoidal to oplax cartesian categories: constructions and functorial completeness ⋮ Collapsed toposes and cartesian closed varieties ⋮ Probabilistic systems coalgebraically: a survey ⋮ Unnamed Item ⋮ A class of fuzzy theories ⋮ Unnamed Item ⋮ Some reasons for generalising domain theory ⋮ Cartesian monads on toposes ⋮ Initial Algebras of Terms with Binding and Algebraic Structure ⋮ Affine Monads and Side-Effect-Freeness ⋮ Probabilities, distribution monads, and convex categories ⋮ Skew structures in 2-category theory and homotopy theory ⋮ Unnamed Item ⋮ Monads on higher monoidal categories ⋮ On the relationship between composite and tensor product triples ⋮ Categories ⋮ List Objects with Algebraic Structure