Pre-adjunctions and lambda-algebraic theories

DOI10.4064/cm-48-2-153-165zbMath0564.18003OpenAlexW971532156MaRDI QIDQ3677914

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

algebraic theorieslambda calculusadjoint functorspre-adjunction

Mathematics Subject Classification ID

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

Related Items (3)

On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory ⋮ Pre-adjunctions and the Ramsey property ⋮ Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus

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