Pre-adjunctions and lambda-algebraic theories

DOI10.4064/CM-48-2-153-165MaRDI QIDQ3677914zbMATH OpenOpenAlexFDO

Authors Antoni Wiweger

Publication date 1984

Published in Colloquium Mathematicum (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4064/cm-48-2-153-165

zbMATH Keywords

adjoint functorsalgebraic theorieslambda calculuspre-adjunction

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Categorical logic, topoi (03G30) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Recommendations

• scientific article; zbMATH DE number 4010736
• Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus
• On the construction of adjunctions between a fuzzy preposet and an unstructured set
• scientific article; zbMATH DE number 3867543
• Pre-adjunctions in order enriched categories

Cited in

(7)

• Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus
• On Church's formal theory of functions and functionals. The - calculus: Connections to higher type recursion theory, proof theory, category theory
• Pre-adjunctions and the Ramsey property
• scientific article; zbMATH DE number 3897179 (Why is no real title available?)
• scientific article; zbMATH DE number 3950781 (Why is no real title available?)
• scientific article; zbMATH DE number 4010736 (Why is no real title available?)
• Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse

This page was built for publication: Pre-adjunctions and lambda-algebraic theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3677914)