Restriction categories I: Categories of partial maps

Restriction categories I: Categories of partial maps (2001)

Cached

Download Links

[www.cpsc.ucalgary.ca]

Other Repositories/Bibliography

DBLP

by Stephen Lack

Venue:	Theoretical Computer Science
Citations:	17 - 5 self

BibTeX

@ARTICLE{Lack01restrictioncategories,
    author = {Stephen Lack},
    title = {Restriction categories I: Categories of partial maps},
    journal = {Theoretical Computer Science},
    year = {2001},
    volume = {270},
    pages = {223--259}
}

Bookmark

OpenURL

Abstract

Citations

173	Jirí Rosicky, Locally Presentable and Accessible Categories - Adamek - 1994
103	Weakly Distributive Categories, in - Cockett, Seely - 1992
85	R.F.C.Walters. Introduction to extensive and distributive categories - Carboni, Lack - 1993
69	Two-dimensional monad theory - Blackwell, Kelly, et al. - 1989
62	Axiomatic Domain Theory in Categories of Partial Maps - Fiore - 1996
56	Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads - Kelly, Power - 1993
51	Categories of partial maps - Robinson, Roslini - 1988
41	Syntactic control of interference revisited - O’Hearn, Power, et al.
22	Fibrations in bicategories. Cahiers de topologie et gomtrie diffrentielle - Street - 1980
18	Semigroups: an introduction to the structure theory - Grillet - 1995
16	Lifting theorems for Kleisli categories - Mulry - 1994
12	Dominical categories: recursion theory without elements - Paola, Heller - 1987
9	Restriction categories II: Partial map classification - Cockett, Lack
9	The Algebra of Distributive and Extensive Categories - Lack - 1995
4	Restriction categories III: Partial structures, in preparation - Cockett, Lack - 1988
4	Partial functions, ordered categories, limits and cartesian closure - Jay - 1990
3	Monads and algebras in the semantics of partial data types - Mulry - 1992
3	Domains and dominical categories, Riv - Rosolini - 1985
2	Bicategories of partial maps - Carboni - 1987
2	Semantics of weakeningand contraction - Jacobs - 1994
1	Lifting in Category theory and computer science (Santa Margherita Ligure - Bucalo, Rosolini - 1997
1	Copy Categories, unpublished manuscript - Cockett - 1995
1	Partial map classi ers and partial cartesian closed categories, Theoret - Mulry - 1992
1	Continuity and e ectiveness in topi, D.Phil Thesis - Rosolini - 1986