WHEN IS A CATEGORY OF MANY-SORTED ALGEBRAS CARTESIAN CLOSED?
From MaRDI portal
Publication:4020489
Recommendations
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)