Restriction categories as enriched categories

Theoretical Computer Science

Volumn 523, Issue , 2014, Pages 37-55

  Cockett, Robin ^a   Garner, Richard ^b  

^a UNIVERSITY OF CALGARY   (Canada)

^b MACQUARIE UNIVERSITY   (Australia)

Author keywords

Enriched categories; Restriction categories

Indexed keywords

EID: 84895061927     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2013.12.018     Document Type: Article

References (30)

1. A. Carboni, and R.F.C. Walters Cartesian bicategories I J. Pure Appl. Algebra 49 1-2 1987 11 32
2. J.R.B. Cockett, G.S.H. Cruttwell, and J.D. Gallagher Differential restriction categories Theory Appl. Categ. 25 2011 537 613
3. J.R.B. Cockett, X. Guo, and P. Hofstra Range categories I: General theory Theory Appl. Categ. 26 2012 412 452
4. J.R.B. Cockett, and P.J.W. Hofstra Introduction to Turing categories Ann. Pure Appl. Log. 156 2-3 2008 183 209
5. J.R.B. Cockett, and S. Lack Restriction categories I: categories of partial maps Theor. Comput. Sci. 270 1-2 2002 223 259
6. J.R.B. Cockett, and S. Lack Restriction categories II: Partial map classification Theor. Comput. Sci. 294 1-2 2003 61 102
7. J.R.B. Cockett, and G.S.H. Cruttwell Differential structure, tangent structure, and SDG Appl. Categ. Struct. 2013 10.1007/s10485-013-9312-0 in press
8. J.R.B. Cockett, J. Díaz-Boïls, J.D. Gallagher, and P. Hrubeš Timed sets, functional complexity, and computability Electron. Notes Theor. Comput. Sci. 286 2012 117 137
9. J.R.B. Cockett, and S. Lack Restriction categories. III. Colimits, partial limits and extensivity Math. Struct. Comput. Sci. 17 4 2007 775 817
10. J.R.B. Cockett, and E. Manes Boolean and classical restriction categories Math. Struct. Comput. Sci. 19 2009 357 416
11. B. Day On closed categories of functors Reports of the Midwest Category Seminar IV Lect. Notes Math. vol. 137 1970 Springer 1 38
12. B. Day Note on monoidal localisation Bull. Aust. Math. Soc. 8 1973 1 16
13. R.A. Di Paola, and A. Heller Dominical categories: recursion theory without elements J. Symb. Log. 52 3 1987 594 635
14. R. Garner, and M. Shulman Enriched categories as a free cocompletion submitted for publication, preprint available as arXiv:1301.3191 2013
15. M. Grandis Cohesive categories and manifolds Ann. Mat. Pura Appl. Ser. Q. 157 1990 199 244
16. M. Grandis, and R. Paré Limits in double categories Cah. Topol. Géom. Différ. Catég. 40 3 1999 162 220
17. X. Guo Products, joins, meets, and ranges in restriction categories PhD thesis 2012 University of Calgary
18. M. Jackson, and T. Stokes An invitation to C-semigroups Semigroup Forum 62 2 2001 279 310
19. G.M. Kelly Basic Concepts of Enriched Category Theory Lond. Math. Soc. Lect. Note Ser. vol. 64 1982 Cambridge University Press Republished as: Theory Appl. Categ. vol. 10 2005
20. T. Leinster Generalized enrichment of categories J. Pure Appl. Algebra 168 2-3 2002 391 406
21. K. Menger Calculus, a Modern Approach 1955 Ginn and Company New York
22. K. Menger An axiomatic theory of functions and fluents The Axiomatic Method. Proceedings of an International Symposium Stud. Logic Found. Math. 1959 North-Holland Publishing Co. Amsterdam 454 473
23. E. Moggi The partial lambda-calculus PhD thesis 1988 University of Edinburgh
24. E. Robinson, and G. Rosolini Categories of partial maps Inf. Comput. 79 2 1988 95 130
25. G. Rosolini Continuity and effectiveness in topoi PhD thesis 1986 University of Oxford
26. M. Shulman Enriched indexed categories Theory Appl. Categ. 28 21 2013 616 695
27. R. Street, and R.F.C. Walters The comprehensive factorization of a functor Bull. Am. Math. Soc. 79 1973 936 941
28. R. Walters Sheaves on sites as Cauchy-complete categories J. Pure Appl. Algebra 24 1 1982 95 102
29. R.F.C. Walters Sheaves and Cauchy-complete categories Cah. Topol. Géom. Différ. Catég. 22 3 1981 283 286
30. R. Wood, Variation and enrichment, Talk at CMS Summer Meeting, June 2006.