An algebraic construction of predicate transformers
type: Item
instance of: scholarly article
title: An algebraic construction of predicate transformers
zbMATH Open document ID: 0807.18003
DOI: 10.1016/0167-6423(94)90006-X
author: Paul H. B. Gardiner
author: C. E. Martin
author: Oege de Moor
published in: Science of Computer Programming
publication date: 1995-02-19T00:00:00Z
review text: The paper deals with the assignments \[ C \mapsto \text{Map} C, \quad C \mapsto \text{Span} C \] for certain preorder-enriched categories [cf. \textit{A. Carboni}, \textit{S. Kasangian} and \textit{R. Street}, ``Bicategories of spans and relations'', J. Pure Appl. Algebra 33, 259-267 (1984; Zbl 0577.18005)] and gives conditions for these operators to be inverse to each other. Several applications as indicated by the title are presented in detail.
Mathematics Subject Classification ID: 18D20
Mathematics Subject Classification ID: 18C10
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 609578
zbMATH Keywords: order-enriched category
zbMATH Keywords: span
zbMATH Keywords: map
zbMATH Keywords: pullover
zbMATH Keywords: monotonic predicate transformer
reviewed by: Walter Tholen
MaRDI profile type: Publication
full work available at URL: 0167-6423(94)90006-x
OpenAlex ID: W2173455755
description: scientific article; zbMATH DE number 609578