Categories of partial maps

DOI10.1016/0890-5401(88)90034-XzbMath0656.18001OpenAlexW2005230371MaRDI QIDQ1109871

Giuseppe Rosolini, Edmund P. Robinson

Publication date: 1988

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0890-5401(88)90034-x

zbMATH Keywords

products bicategories of partial maps categories of partial maps dominical category p-category partial cartesian categories

Mathematics Subject Classification ID

Equational categories (18C05) Definitions and generalizations in theory of categories (18A05)

Related Items

Van Kampen Colimits as Bicolimits in Span, Unfolding Grammars in Adhesive Categories, Semantics of weakening and contraction, The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus, Paracategories. I: Internal paracategories and saturated partial algebras, Partiality and Container Monads, Unitary Theories, Unitary Categories, Timed Sets, Functional Complexity, and Computability, The S-replete construction, Mahavier completeness and classifying diagrams, On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory, Game theoretic analysis of call-by-value computation, Partiality, cartesian closedness, and toposes, Partial hyperdoctrines: categorical models for partial function logic and Hoare logic, Unfolding semantics of graph transformation, Relational structures and their partial morphisms in view of single pushout rewriting, Single Pushout Rewriting in Comprehensive Systems, From gs-monoidal to oplax cartesian categories: constructions and functorial completeness, An equational notion of lifting monad, Restriction categories II: Partial map classification, Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs, Presheaves over a join restriction category, A characterization of generalized existential completions, On factorisation systems for Ord-enriched categories and categories of partial maps, Partialising institutions, Restriction categories as enriched categories, Cartesian differential categories revisited, Many-one reductions and the category of multivalued functions, A category-theoretic characterization of functional completeness, Order-enrichment for categories of partial maps, Modelling environments in call-by-value programming languages., Grammar Morphisms and Weakly Adhesive Categories, PARTIALIZATION OF CATEGORIES AND INVERSE BRAID-PERMUTATION MONOIDS, Monographs, a category of graph structures, Relational graph rewritings, Join inverse categories and reversible recursion, On inverse categories and transfer in cohomology, Tail recursion through universal invariants, Algebraic approach to single-pushout graph transformation, Constraining rule-based dynamics with types, Processes and unfoldings: concurrent computations in adhesive categories, Inclusions for partiality, Restriction categories III: colimits, partial limits and extensivity, Boolean restriction categories and taut monads, Partial pushout semantics of generics in DOL, Restriction categories. I: Categories of partial maps, Introduction to Turing categories, Boolean and classical restriction categories, Join Inverse Categories as Models of Reversible Recursion, Single pushout rewriting in comprehensive systems of graph-like structures, Comprehensive systems: a formal foundation for multi-model consistency management, Classifying categories for partial equational logic, The stable category of preorders in a pretopos. II: The universal property, Formalizing abstract computability: Turing categories in Coq, Normal forms for algebras of connections., A functorial semantics for multi-algebras and partial algebras, with applications to syntax., Cocompletion of restriction categories, Dynamic connectors for concurrency

Cites Work