Results 1  10
of
16
Restriction categories I: Categories of partial maps
 Theoretical Computer Science
, 2001
"... ..."
(Show Context)
The Extensive Completion Of A Distributive Category
 Theory Appl. Categ
, 2001
"... A category with finite products and finite coproducts is said to be distributive if the canonical map AB+AC # A (B +C) is invertible for all objects A, B, and C. Given a distributive category D , we describe a universal functor D # D ex preserving finite products and finite coproducts, for wh ..."
Abstract

Cited by 6 (1 self)
 Add to MetaCart
(Show Context)
A category with finite products and finite coproducts is said to be distributive if the canonical map AB+AC # A (B +C) is invertible for all objects A, B, and C. Given a distributive category D , we describe a universal functor D # D ex preserving finite products and finite coproducts, for which D ex is extensive; that is, for all objects A and B the functor D ex /A D ex /B # D ex /(A + B) is an equivalence of categories. As an application, we show that a distributive category D has a full distributive embedding into the product of an extensive category with products and a distributive preorder. 1.
Restriction categories III: colimits, partial limits, and extensivity
 Mathematical Structures in Computer Science
, 2007
"... ..."
(Show Context)
An Equational Notion of Lifting Monad
 TITLE WILL BE SET BY THE PUBLISHER
, 2003
"... We introduce the notion of an equational lifting monad: a commutative strong monad satisfying one additional equation (valid for monads arising from partial map classifiers). We prove that any equational lifting monad has a representation by a partial map classifier such that the Kleisli category ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
(Show Context)
We introduce the notion of an equational lifting monad: a commutative strong monad satisfying one additional equation (valid for monads arising from partial map classifiers). We prove that any equational lifting monad has a representation by a partial map classifier such that the Kleisli category of the former fully embeds in the partial category of the latter. Thus equational lifting monads precisely capture the equational properties of partial maps as induced by partial map classifiers. The representation theorem also provides a tool for transferring nonequational properties of partial map classifiers to equational lifting monads. It is proved using a direct axiomatization of Kleisli categories of equational lifting monads. This axiomatization is of interest in its own right. 1
Products, Joins, Meets, and Ranges in . . .
, 2012
"... Restriction categories provide a convenient abstract formulation of partial functions. However, restriction categories can have a variety of structures such as finite partial products (cartesianess), joins, meets, and ranges which are of interest in computability theory, semigroup theory, topology, ..."
Abstract
 Add to MetaCart
Restriction categories provide a convenient abstract formulation of partial functions. However, restriction categories can have a variety of structures such as finite partial products (cartesianess), joins, meets, and ranges which are of interest in computability theory, semigroup theory, topology, and algebraic geometry. This thesis studies these structures. For finite partial products (cartesianess), a construction to add finite partial products to an arbitrary restriction category freely is provided. For joins, we introduce the notion of join restriction categories, describe a construction for the join completion of a restriction category, and show the completeness of join restriction categories in partial map categories using Madhesive categories and Mgaps. As the join completion for inverse semigroups is wellknown in semigroup theory, we show the relationships between the join completion for restriction categories and the join completion for inverse semigroups by providing adjunctions among restriction categories, join restriction categories, inverse categories, and join inverse categories.
THE EXTENSIVE COMPLETION OF A DISTRIBUTIVE CATEGORY J.R.B. COCKETT AND STEPHEN LACK
"... ABSTRACT. A category with finite products and finite coproducts is said to be distributive ifthe canonical map A × B + A × C → A × (B + C) is invertible for all objects A, B, andC. Given a distributive category D, we describe a universal functor D → Dex preserving finite products and finite coproduc ..."
Abstract
 Add to MetaCart
(Show Context)
ABSTRACT. A category with finite products and finite coproducts is said to be distributive ifthe canonical map A × B + A × C → A × (B + C) is invertible for all objects A, B, andC. Given a distributive category D, we describe a universal functor D → Dex preserving finite products and finite coproducts, for which Dex is extensive; thatis,for all objects A and B the functor Dex/A × Dex/B → Dex/(A + B) is an equivalence of categories.