Left and right adjoint operations on spaces and data types

DOI10.1016/j.tcs.2004.01.026zbMath1046.18001OpenAlexW2087305869MaRDI QIDQ1434353

F. William Lawvere

Publication date: 4 August 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.01.026

zbMATH Keywords

exponentiationCartesian closed categorycentral idempotentdata type tiny object

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Abstract data types; algebraic specification (68Q65)

Related Items (1)

Remarks on isomorphisms in typed lambda calculi with empty and sum types

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Two models of synthetic domain theory
• Generalized Banach-Mazur functionals in the topos of recursive sets
• On the generic solution to \(P(X)\cong X\) in distributive categories
• Seven trees in one
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Compact Sets of Functions and Function Rings

This page was built for publication: Left and right adjoint operations on spaces and data types