Differential restriction categories

Theory and Applications of Categories

Volumn 25, Issue , 2011, Pages 537-613

  Cockett, J R B ^a   Cruttwell, G S H ^a   Gallagher, J D ^a  

^a UNIVERSITY OF CALGARY   (Canada)

Author keywords

Classical completion; Differential restriction categories; Join completion; Rational functions and the rational monad

Indexed keywords

EID: 84856185287     PISSN: 1201561X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (30)

1. Blute, R., Cockett, J and Seely, R. (2008) Cartesian differential categories. Theory and Applications of Categories, 22, 622-672.
2. A. Bucciarelli, T. Ehrhard, and G. Manzonetto. (2010) Categorical models for simply typed resource calculi. To appear in 26th Conference on the Mathematical Foundations of Programming Semantics (MFPS2010).
3. Carlström, J (2004) Wheels - on division by zero, Mathematical. Structures in Comp. Sci., Vol. 14, Issue 1, 143-184.
4. Chen, K. (1977) Iterated path integrals. Bulletin of the American Mathematical Society, 85 (5), 831-879.
5. Cockett, J. and Manes, E. (2009) Boolean and classical restriction categories. Mathematical Structures in Computer Science, 19 (2), 357-416.
6. Cockett, J. and Lack, S. (2002) Restriction categories I: categories of partial maps. Theoretical computer science, 270 (2), 223-259.
7. Cockett, J. and Lack, S. (2007) Restriction categories III: colimits, partial limits, and extensivity. Mathematical Structures in Computer Science, 17, 775-817.
8. Cockett, J. and Guo, X. (2006) Stable meet semilattice fibrations and free restriction categories. Theory and applications of categories, 16, 307-341.
9. Cockett, J and Hofstra, P. (2008) Introduction to turing categories. Annals of pure and applied logic, 156 (2-3), 183-209.
10. Cohn, P. (2002) Basic Algebra: Groups, Rings, and Fields. Springer, 352.
11. Dubuc, E. (1979) Sur la modèle de la geométrie différentielle synthétique. Cahiers de Topologie et Geométrie Différential Catégoriques, XX (3).
12. Dummit, D. and Foote, R. (2004) Abstract Algebra. John Wiley and Sons Inc, 655-709.
13. Eisenbud, E. Commutative Algebra with a View Toward Algebraic Geometry. Springer (Graduate Texts in Mathematics), 57-86, 404-410.
14. Ehrhard, T., and Regnier, L. (2003) The differential lambdacalculus. Theoretical Computer Science, 309 (1), 1-41.
15. Frölicher, A. (1982) Smooth structures. In Category Theory (Gummersbach, 1981), volume 962 of Lecture Notes in Mathematics, 69-81. Springer, Berlin.
16. Golan, J. (1992) The Theory of Semirings with Applications in Mathematics and Theoretical Computer Sciecne. Longman Scientific and Technical.
17. Grandis, M. (1989) Manifolds as Enriched Categories. Categorical Topology (Prague 1988), 358-368.
18. Hartshorne, R. (1997) Algebraic Geometry. Springer (Graduate Texts in Mathematics).
19. Hungerford, T. (2000) Algebra. Springer (Graduate Texts in Mathematics).
20. Lawson, M. (1998) Inverse Semigroups: The Theory of Partial Symmetries. World Scientific.
21. Lindstrum, A. (1967) Abstract Algebra. Holden-Day.
22. Manes, E. (2006) Boolean restriction categories and taut monads. Theoretical Computer Science, 360, 77-95.
23. Moerdijk, I. and Reyes, G. (1991) Models for Smooth Infinitesimal Analysis, Springer.
24. Kock, A. (2006) Synthetic Differential Geometry, Cambridge University Press (2nd ed.). Also available at http://home.imf.au.dk/kock/sdg99.pdf.
25. Robinson, E. and Roslini, G. (1988) Categories of partial maps. Information and Computation, vol. 79, 94-130.
26. Sikorski, R. (1972) Differential Modules. Colluquia Mathematica, 24, 45-79.
27. Stacey, A. (2011) Comparative Smootheology. Theory and applications of categories, 25, 64-117.
28. Stewart, I. (2004) Galois Theory. Chapman and Hall, 185-187.
29. Stewart, J. (2003) Calculus. Thompson, 1077-1085.
30. Zariski, O. and Pierre Samuel. (1975) Commutative Algebra. Springer (Graduate Texts in Mathematics), 42-49.