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

DOI10.1142/S0129054192000140MaRDI QIDQ4020489zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• WHEN IS A CATEGORY OF MANY-SORTED PARTIAL ALGEBRAS CARTESIAN-CLOSED?
• scientific article; zbMATH DE number 540506
• Cartesian closed algebraic categories
• Publication:3487614
• scientific article; zbMATH DE number 1166289

Cited in

(8)

• When is the insertion of the generators injective for a sur-reflective subcategory of a category of many-sorted algebras?
• Cartesian closed algebraic categories
• WHEN IS A CATEGORY OF MANY-SORTED PARTIAL ALGEBRAS CARTESIAN-CLOSED?
• Full abstraction and recursion
• When is there a nontrivial extension-closed subcategory?
• A characterization of the \(n\)-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem
• scientific article; zbMATH DE number 4158915 (Why is no real title available?)
• Algebraic signatures enriched by dependency structure

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)