portada Institution Morphisms (en Inglés)

Formato

Libro Físico

Autor

Grigore Rosu

Nasa Technical Reports Server (Ntrs)

Joseph Goguen

Editorial

Bibliogov

Idioma

Inglés

N° páginas

Encuadernación

Tapa Blanda

Dimensiones

24.6x18.9x0.2 cm

Peso

0.09 kg.

ISBN13

9781287275893

Categorías

Política y gobierno

Institution Morphisms (en Inglés)

Grigore Rosu (Autor) · Nasa Technical Reports Server (Ntrs) (Autor) · Joseph Goguen (Autor) · Bibliogov · Tapa Blanda

Libro Nuevo Importado

Envío: 20 a 27 días háb.

$ 57.47$ 28.74

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 100 unidades

$ 28.74

Llega entre el 15 Sep y el 28 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Institution Morphisms (en Inglés)"

Institutions formalize the intuitive notion of logical system, including both syntax and semantics. A surprising number of different notions of morphisim have been suggested for forming categories with institutions as objects, and a surprising variety of names have been proposed for them. One goal of this paper is to suggest a terminology that is both uniform and informative to replace the current rather chaotic nomenclature. Another goal is to investigate the properties and interrelations of these notions. Following brief expositions of indexed categories, twisted relations, and Kan extensions, we demonstrate and then exploit the duality between institution morphisms in the original sense of Goguen and Burstall, and the 'plain maps' of Meseguer, obtaining simple uniform proofs of completeness and cocompleteness for both resulting categories; because of this duality, we prefer the name 'comorphism' over 'plain map.' We next consider 'theoroidal' morphisms and comorphisims, which generalize signatures to theories, finding that the 'maps' of Meseguer are theoroidal comorphisms, while theoroidal morphisms are a new concept. We then introduce 'forward' and 'semi-natural' morphisms, and appendices discuss institutions for hidden algebra, universal algebra, partial equational logic, and a variant of order sorted algebra supporting partiality.