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

DOI10.1142/S0129054195000056zbMath0851.18006OpenAlexW2053179872MaRDI QIDQ4852315

Joan Torrens, Francesc Rosselló, Miquel Monserrat

Publication date: 18 November 1996

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

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

zbMATH Keywords

signaturecartesian closednesspartial many-sorted algebras

Mathematics Subject Classification ID

Equational categories (18C05) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Categories of algebras (08C05) Partial algebras (08A55)

Related Items (4)

Algebraic transformation of unary partial algebras. I: Double-pushout approach ⋮ SINGLE-PUSHOUT TRANSFORMATION OF TOTAL ALGEBRAS ⋮ Algebraic transformation of unary partial algebras II: Single-pushout approach ⋮ PUSHOUTS OF PARTIAL HOMOMORPHISMS OF PARTIAL ALGEBRAS II: CLOSED QUOMORPHISMS

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