A remark on the theory of semi-functors

DOI10.1017/S096012950000061XzbMath0866.18001OpenAlexW2106490526MaRDI QIDQ4847309

Ieke Moerdijk, R. Hoofman

Publication date: 17 July 1997

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s096012950000061x

zbMATH Keywords

lambda-calculusfunctor categoriessemi-functorsKaroubi-complete categoriesKaroubi-envelope

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Fibered categories (18D30) Special properties of functors (faithful, full, etc.) (18A22) Theories (e.g., algebraic theories), structure, and semantics (18C10) Combinatory logic and lambda calculus (03B40) Functor categories, comma categories (18A25)

Related Items (3)

Unnamed Item ⋮ The shuffle quasimonad and modules with differentiation and integration ⋮ Splitting idempotents in a fibered setting

Cites Work

• Unnamed Item
• Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus
• Continuous information systems
• The formal theory of monads
• Models of the lambda calculus
• Fibered categories and the foundations of naive category theory
• Categorical semantics for higher order polymorphic lambda calculus

This page was built for publication: A remark on the theory of semi-functors