scientific article; zbMATH DE number 30670
abstract type syntaxesCartesian closed categoriescategorical framework of the semantics of polymorphic type theorycategories of models of sketcheslocally presentable categoriesScott domainstripleability
Categorical logic, topoi (03G30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3986953)
