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

DOI10.1142/S0129054192000140zbMATH Open0804.18006OpenAlexW2121186882MaRDI QIDQ4020489FDOQ4020489

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

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

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 (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
• A characterization of the \(n\)-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem
• When is there a nontrivial extension-closed subcategory?
• Title not available (Why is that?)
• 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)