Restriction categories I: Categories of partial maps (2001)

Cached

Download Links

by Stephen Lack
Venue:Theoretical Computer Science
Citations:30 - 6 self

Active Bibliography

4 Restriction categories III: colimits, partial limits, and extensivity – J. R. B. Cockett, Stephen Lack - 2007
6 The Extensive Completion Of A Distributive Category – J.r.b. Cockett, Stephen Lack, D Ex /b - 2001
Restrictions, Ranges, Partial Map Categories, and Fibrations – unknown authors
SUBMITTED TO THE FACULTY OF GRADUATE STUDIES – Xiuzhan Guo - 2012
7 On Property-Like Structures – G. M. Kelly, Stephen Lack - 1997
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
5 STABLE MEET SEMILATTICE FIBRATIONS AND FREE RESTRICTION CATEGORIES – J. R. B. Cockett, Xiuzhan Guo
4 Introduction to Turing categories – J. R. B. Cockett, Pieter J. W. Hofstra
RANGE CATEGORIES I: GENERAL THEORY – J. R. B. Cockett, Xiuzhan Guo, Pieter Hofstra
4 Categories for Synchrony and Asynchrony – J.R.B. Cockett, D. A. Spooner - 1995
14 Modelling environments in call-by-value programming languages – Paul Blain Levy, John Power, Hayo Thielecke - 2003
6 Geometric and higher order logic in terms of abstract Stone duality – Paul Taylor - 2000
10 Countable Lawvere Theories and Computational Effects – John Power - 2006
7 Familial 2-functors and parametric right adjoints – Mark Weber
Representation of Relations By Partial Maps – Bernhard Banaschewski, Xiaomin Dong, Walter Tholen
4 An Equational Notion of Lifting Monad – Anna Bucalo, Carsten F├╝hrmann, Alex Simpson - 2003
32 Operads In Higher-Dimensional Category Theory – Tom Leinster - 2004
1 Partial Hyperdoctrines: Categorical Models for Partial Function Logic and Hoare Logic – Peter Knijnenburg, Peter Kn, I Jnenburg, Frank Nordemann - 1993
I Basic Categories 6 – J. R. B. Cockett - 2010