scientific article

zbMath1276.03016MaRDI QIDQ2863881

Misao Nagayama, J. M. E. Hyland, Giuseppe Rosolini, A. John Power

Publication date: 4 December 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106003999?np=y

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

commutative monoidCartesian closed categorydistributive lawuntyped \(\lambda\)-calculusKleisli constructionEngeler modelfinite multisetfinite powerset

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (10)

Relational graph models, Taylor expansion and extensionality ⋮ Modelling Local Variables: Possible Worlds and Object Spaces ⋮ Convexity via Weak Distributive Laws ⋮ A General Class of Models of $\mathcal{H}^*$ ⋮ Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures ⋮ Combining semilattices and semimodules ⋮ Logic programming: laxness and saturation ⋮ Elements of a theory of algebraic theories ⋮ Unnamed Item ⋮ The Vietoris monad and weak distributive laws

This page was built for publication: