WHEN IS A CATEGORY OF MANY-SORTED ALGEBRAS CARTESIAN CLOSED?

DOI10.1142/S0129054192000140zbMATH Open0804.18006OpenAlexW2121186882MaRDI QIDQ4020489FDOQ4020489

Frank J. Oles

Publication date: 16 January 1993

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0129054192000140

zbMATH Keywords

adjoint functorCartesian closed categorymany-sorted algebra

Mathematics Subject Classification ID

Categories of algebras (08C05) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Abstract data types; algebraic specification (68Q65)

Cited In (2)

• Full abstraction and recursion
• When is there a nontrivial extension-closed subcategory?

This page was built for publication: WHEN IS A CATEGORY OF MANY-SORTED ALGEBRAS CARTESIAN CLOSED?

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