On exponentiating exponentiation

DOI10.1016/0022-4049(81)90050-5zbMath0473.18005OpenAlexW2039488891WikidataQ127814396 ScholiaQ127814396MaRDI QIDQ1158508

Evelyn Nelson

Publication date: 1981

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(81)90050-5

zbMATH Keywords

complete and cartesian closed categoryright finiteness

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Functor categories, comma categories (18A25)

Related Items (3)

Obituary: Evelyn M. Nelson ⋮ A fibrational framework for possible-world semantics of \textsc{Algol}-like languages ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Categorial characterization of the MacNeille completion
• Cohesive Toposes and Cantor's 'lauter Einsen'

This page was built for publication: On exponentiating exponentiation