Edit Profile (opens in new tab) Cockett, J. Robin B. Compute Distance To: Compute Author ID: cockett.j-robin-b Published as: Cockett, J. R. B.; Cockett, J. Robin B. Documents Indexed: 56 Publications since 1986 Co-Authors: 26 Co-Authors with 49 Joint Publications 280 Co-Co-Authors all top 5 Co-Authors 7 single-authored 20 Seely, Robert A. G. 11 Blute, Richard F. 6 Lemay, Jean-Simon P. 5 Cruttwell, G. S. H. 5 Hofstra, Pieter J. W. 3 Guo, Xiuzhan 3 Koslowski, Jürgen 3 Lack, Stephen 2 Birdwell, J. Douglas 2 Gallagher, J. D. 2 Spencer, Dwight 2 Spooner, David A. 1 Athans, Michael 1 Bagnol, Marc 1 Comfort, Cole 1 Hatfield, L. 1 Herrera, J. A. 1 Hrubeš, Pavel 1 Laub, Alan J. 1 Pastro, C. A. 1 Pastro, Craig 1 Porter, Timothy 1 Rochelle, R. W. 1 Trimble, Todd H. 1 Wood, Richard J. 1 Zrida, Jalel all top 5 Serials 14 Theory and Applications of Categories 8 Journal of Pure and Applied Algebra 6 MSCS. Mathematical Structures in Computer Science 5 Theoretical Computer Science 3 Applied Categorical Structures 2 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 Journal of the Association for Computing Machinery 1 Annales Societatis Mathematicae Polonae. Series IV 1 Science of Computer Programming 1 Annals of Pure and Applied Logic 1 Probability in the Engineering and Informational Sciences all top 5 Fields 43 Category theory; homological algebra (18-XX) 29 Mathematical logic and foundations (03-XX) 19 Computer science (68-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Field theory and polynomials (12-XX) 4 Associative rings and algebras (16-XX) 4 Several complex variables and analytic spaces (32-XX) 3 Geometry (51-XX) 3 Global analysis, analysis on manifolds (58-XX) 2 Commutative algebra (13-XX) 2 \(K\)-theory (19-XX) 2 Systems theory; control (93-XX) 1 Algebraic geometry (14-XX) 1 Nonassociative rings and algebras (17-XX) 1 Group theory and generalizations (20-XX) 1 Ordinary differential equations (34-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Differential geometry (53-XX) 1 Statistics (62-XX) 1 Quantum theory (81-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 49 Publications have been cited 554 times in 293 Documents Cited by ▼ Year ▼ Restriction categories. I: Categories of partial maps. Zbl 0988.18003Cockett, J. R. B.; Lack, Stephen 72 2002 Weakly distributive categories. Zbl 0867.18008Cockett, J. R. B.; Seely, R. A. G. 45 1997 Natural deduction and coherence for weakly distributive categories. Zbl 0858.03064Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G.; Trimble, T. H. 40 1996 Differential categories. Zbl 1115.03092Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G. 35 2006 Cartesian differential categories. Zbl 1262.18004Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G. 29 2009 Restriction categories II: Partial map classification. Zbl 1023.18005Cockett, J. R. B.; Lack, Stephen 26 2003 Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories. Zbl 0879.03022Cockett, J. R. B.; Seely, R. A. G. 26 1997 Introduction to distributive categories. Zbl 0793.18006Cockett, J. R. B. 26 1993 Differential structure, tangent structure, and SDG. Zbl 1304.18031Cockett, J. R. B.; Cruttwell, G. S. H. 25 2014 Weakly distributive categories. Zbl 0790.18004Cockett, J. R. B.; Seely, R. A. G. 18 1992 Cartesian differential storage categories. Zbl 1330.18009Blute, R.; Cockett, J. R. B.; Seely, R. A. G. 15 2015 Strong categorical datatypes. I. Zbl 0792.18008Cockett, J. Robin B.; Spencer, Dwight 15 1992 Introduction to linear bicategories. Zbl 0991.18007Cockett, J. R. B.; Koslowski, J.; Seely, R. A. G. 14 2000 Linearly distributive functors. Zbl 0946.18005Cockett, J. R. B.; Seely, R. A. G. 13 1999 Differential restriction categories. Zbl 1260.14004Cockett, J. R. B.; Cruttwell, G. S. H.; Gallagher, J. D. 13 2011 Introduction to Turing categories. Zbl 1155.03030Cockett, J. R. B.; Hofstra, P. J. W. 12 2008 Range categories. I: General theory. Zbl 1252.18003Cockett, J. R. B.; Guo, Xiuzhan; Hofstra, Pieter 9 2012 Feedback for linearly distributive categories: Traces and fixpoints. Zbl 0964.03063Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G. 9 2000 List-arithmetic distributive categories: Locoi. Zbl 0715.18005Cockett, J. R. B. 9 1990 The Faà di Bruno construction. Zbl 1275.18016Cockett, J. R. B.; Seely, R. A. G. 8 2011 Integral categories and calculus categories. Zbl 1408.18012Cockett, J. R. B.; Lemay, J.-S. 7 2019 Polarized category theory, modules, and game semantics. Zbl 1117.03071Cockett, J. R. B.; Seely, R. A. G. 7 2007 Finite sum-product logic. Zbl 0969.03071Cockett, J. R. B.; Seely, R. A. G. 7 2001 Connections in tangent categories. Zbl 1374.18016Cockett, J. R. B.; Cruttwell, G. S. H. 7 2017 Range categories II: Towards regularity. Zbl 1252.18004Cockett, J. R. B.; Guo, Xiuzhan; Hofstra, Pieter 6 2012 Stable meet semilattice fibrations and free restriction categories. Zbl 1106.18003Cockett, J. R. B.; Guo, Xiuzhan 5 2006 Categorical simulations. Zbl 1192.03020Cockett, J. R. B.; Hofstra, Pieter J. W. 5 2010 Morphisms and modules for poly-bicategories. Zbl 1022.18006Cockett, J. R. B.; Koslowski, J.; Seely, R. A. G. 5 2003 Strong categorical datatypes II: A term logic for categorical programming. Zbl 0874.68033Cockett, J. Robin B.; Spencer, Dwight 5 1995 Categories for computation in context and unified logic. Zbl 0879.03021Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G. 4 1997 Kähler categories. Zbl 1254.13026Blute, Richard; Cockett, J. R. B.; Porter, Timothy; Seely, R. A. G. 4 2011 Categories with finite limits and stable binary coproducts can be subdirectly decomposed. Zbl 0758.18003Cockett, J. R. B. 3 1992 Total maps of Turing categories. Zbl 1337.03057Cockett, J. R. B.; Hofstra, P. J. W.; Hrubeš, P. 3 2014 Discrete decision theory: manipulations. Zbl 0643.68155Cockett, J. R. B. 3 1987 ! and ? – Storage as tensorial strength. Zbl 0860.18004Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G. 3 1996 Categories for synchrony and asynchrony. Zbl 0910.68119Cockett, J. R. B.; Spooner, D. A. 2 1995 The logic of linear functors. Zbl 1020.03063Blute, R.; Cockett, J. R. B.; Seely, R. A. G. 2 2002 On the decidability of objects in a locos. Zbl 0676.03039Cockett, J. R. B. 2 1989 Decision tree reduction. Zbl 0711.68020Cockett, J. R. B.; Herrera, J. A. 2 1990 Expert systems techniques in a computer-based control system analysis and design environment. Zbl 0664.93025Birdwell, J. D.; Cockett, J. R. B.; Heller, R.; Rochelle, R. W.; Laub, A. J.; Athans, M.; Hatfield, L. 2 1986 Differential categories revisited. Zbl 1465.18011Blute, R. F.; Cockett, J. R. B.; Lemay, Jean-Simon. P.; Seely, Robert A. G. 2 2020 A language for multiplicative-additive linear logic. Zbl 1272.03155Cockett, J. R. B.; Pastro, C. A. 2 2005 The shuffle quasimonad and modules with differentiation and integration. Zbl 1395.03031Bagnol, Marc; Blute, Richard; Cockett, J. R. B.; Lemay, J. S. 1 2016 Categorical models of the differential \(\lambda\)-calculus revisited. Zbl 1394.03024Cockett, J. R. B.; Gallagher, J. D. 1 2016 The logic of message-passing. Zbl 1175.68105Cockett, J. R. B.; Pastro, Craig 1 2009 The extensive completion of a distributive category. Zbl 1005.18003Cockett, J. R. B.; Lack, Stephen 1 2001 The Jacobi identity for tangent categories. Zbl 1353.18009Cockett, J. R. B.; Cruttwell, G. S. H. 1 2015 Modules. Zbl 1035.18003Cockett, J. R. B.; Koslowski, J.; Seely, R. A. G.; Wood, R. J. 1 2003 Decision expression optimization. Zbl 0642.90002Cockett, J. R. B. 1 1987 Differential categories revisited. Zbl 1465.18011Blute, R. F.; Cockett, J. R. B.; Lemay, Jean-Simon. P.; Seely, Robert A. G. 2 2020 Integral categories and calculus categories. Zbl 1408.18012Cockett, J. R. B.; Lemay, J.-S. 7 2019 Connections in tangent categories. Zbl 1374.18016Cockett, J. R. B.; Cruttwell, G. S. H. 7 2017 The shuffle quasimonad and modules with differentiation and integration. Zbl 1395.03031Bagnol, Marc; Blute, Richard; Cockett, J. R. B.; Lemay, J. S. 1 2016 Categorical models of the differential \(\lambda\)-calculus revisited. Zbl 1394.03024Cockett, J. R. B.; Gallagher, J. D. 1 2016 Cartesian differential storage categories. Zbl 1330.18009Blute, R.; Cockett, J. R. B.; Seely, R. A. G. 15 2015 The Jacobi identity for tangent categories. Zbl 1353.18009Cockett, J. R. B.; Cruttwell, G. S. H. 1 2015 Differential structure, tangent structure, and SDG. Zbl 1304.18031Cockett, J. R. B.; Cruttwell, G. S. H. 25 2014 Total maps of Turing categories. Zbl 1337.03057Cockett, J. R. B.; Hofstra, P. J. W.; Hrubeš, P. 3 2014 Range categories. I: General theory. Zbl 1252.18003Cockett, J. R. B.; Guo, Xiuzhan; Hofstra, Pieter 9 2012 Range categories II: Towards regularity. Zbl 1252.18004Cockett, J. R. B.; Guo, Xiuzhan; Hofstra, Pieter 6 2012 Differential restriction categories. Zbl 1260.14004Cockett, J. R. B.; Cruttwell, G. S. H.; Gallagher, J. D. 13 2011 The Faà di Bruno construction. Zbl 1275.18016Cockett, J. R. B.; Seely, R. A. G. 8 2011 Kähler categories. Zbl 1254.13026Blute, Richard; Cockett, J. R. B.; Porter, Timothy; Seely, R. A. G. 4 2011 Categorical simulations. Zbl 1192.03020Cockett, J. R. B.; Hofstra, Pieter J. W. 5 2010 Cartesian differential categories. Zbl 1262.18004Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G. 29 2009 The logic of message-passing. Zbl 1175.68105Cockett, J. R. B.; Pastro, Craig 1 2009 Introduction to Turing categories. Zbl 1155.03030Cockett, J. R. B.; Hofstra, P. J. W. 12 2008 Polarized category theory, modules, and game semantics. Zbl 1117.03071Cockett, J. R. B.; Seely, R. A. G. 7 2007 Differential categories. Zbl 1115.03092Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G. 35 2006 Stable meet semilattice fibrations and free restriction categories. Zbl 1106.18003Cockett, J. R. B.; Guo, Xiuzhan 5 2006 A language for multiplicative-additive linear logic. Zbl 1272.03155Cockett, J. R. B.; Pastro, C. A. 2 2005 Restriction categories II: Partial map classification. Zbl 1023.18005Cockett, J. R. B.; Lack, Stephen 26 2003 Morphisms and modules for poly-bicategories. Zbl 1022.18006Cockett, J. R. B.; Koslowski, J.; Seely, R. A. G. 5 2003 Modules. Zbl 1035.18003Cockett, J. R. B.; Koslowski, J.; Seely, R. A. G.; Wood, R. J. 1 2003 Restriction categories. I: Categories of partial maps. Zbl 0988.18003Cockett, J. R. B.; Lack, Stephen 72 2002 The logic of linear functors. Zbl 1020.03063Blute, R.; Cockett, J. R. B.; Seely, R. A. G. 2 2002 Finite sum-product logic. Zbl 0969.03071Cockett, J. R. B.; Seely, R. A. G. 7 2001 The extensive completion of a distributive category. Zbl 1005.18003Cockett, J. R. B.; Lack, Stephen 1 2001 Introduction to linear bicategories. Zbl 0991.18007Cockett, J. R. B.; Koslowski, J.; Seely, R. A. G. 14 2000 Feedback for linearly distributive categories: Traces and fixpoints. Zbl 0964.03063Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G. 9 2000 Linearly distributive functors. Zbl 0946.18005Cockett, J. R. B.; Seely, R. A. G. 13 1999 Weakly distributive categories. Zbl 0867.18008Cockett, J. R. B.; Seely, R. A. G. 45 1997 Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories. Zbl 0879.03022Cockett, J. R. B.; Seely, R. A. G. 26 1997 Categories for computation in context and unified logic. Zbl 0879.03021Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G. 4 1997 Natural deduction and coherence for weakly distributive categories. Zbl 0858.03064Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G.; Trimble, T. H. 40 1996 ! and ? – Storage as tensorial strength. Zbl 0860.18004Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G. 3 1996 Strong categorical datatypes II: A term logic for categorical programming. Zbl 0874.68033Cockett, J. Robin B.; Spencer, Dwight 5 1995 Categories for synchrony and asynchrony. Zbl 0910.68119Cockett, J. R. B.; Spooner, D. A. 2 1995 Introduction to distributive categories. Zbl 0793.18006Cockett, J. R. B. 26 1993 Weakly distributive categories. Zbl 0790.18004Cockett, J. R. B.; Seely, R. A. G. 18 1992 Strong categorical datatypes. I. Zbl 0792.18008Cockett, J. Robin B.; Spencer, Dwight 15 1992 Categories with finite limits and stable binary coproducts can be subdirectly decomposed. Zbl 0758.18003Cockett, J. R. B. 3 1992 List-arithmetic distributive categories: Locoi. Zbl 0715.18005Cockett, J. R. B. 9 1990 Decision tree reduction. Zbl 0711.68020Cockett, J. R. B.; Herrera, J. A. 2 1990 On the decidability of objects in a locos. Zbl 0676.03039Cockett, J. R. B. 2 1989 Discrete decision theory: manipulations. Zbl 0643.68155Cockett, J. R. B. 3 1987 Decision expression optimization. Zbl 0642.90002Cockett, J. R. B. 1 1987 Expert systems techniques in a computer-based control system analysis and design environment. Zbl 0664.93025Birdwell, J. D.; Cockett, J. R. B.; Heller, R.; Rochelle, R. W.; Laub, A. J.; Athans, M.; Hatfield, L. 2 1986 all cited Publications top 5 cited Publications all top 5 Cited by 286 Authors 27 Cockett, J. Robin B. 16 Cockett, Robin 13 Blute, Richard F. 9 Pacaud Lemay, Jean-Simon 9 Scott, Philip J. 8 Kaarsgaard, Robin 8 Lemay, Jean-Simon P. 8 Santocanale, Luigi 7 Garner, Richard 7 Lack, Stephen 6 Cruttwell, G. S. H. 6 Schröder, Lutz 6 Seely, Robert A. G. 5 Goncharov, Sergeĭ Savost’yanovich 5 Gould, Victoria A. R. 5 Hofstra, Pieter J. W. 5 Hyland, J. Martin E. 5 Jackson, Marcel G. 5 Jacobs, Bart 5 Straßburger, Lutz 4 Corradini, Andrea 4 Došen, Kosta 4 Duval, Dominique 4 Gallagher, Jonathan 4 Glück, Robert 4 Hamano, Masahiro 4 Hasegawa, Masahito 4 Jones, Peter R. 4 Ribeiro, Leila 4 Stokes, Timothy E. 3 Comfort, Cole 3 East, James 3 Ehrhard, Thomas 3 Führmann, Carsten 3 Heunen, Chris 3 Jay, C. Barry 3 Kamide, Norihiro 3 Lucyshyn-Wright, Rory B. B. 3 Manes, Ernie G. 3 Manzonetto, Giulio 3 Melliès, Paul-André 3 Petrić, Zoran 3 Pronk, Dorette A. 3 Prost, Frédéric 3 Rauch, Christoph 3 Slavnov, Sergey 3 Street, Ross H. 3 Tholen, Walter 3 Vicary, Jamie 2 Axelsen, Holger Bock 2 Balan, Adriana 2 de Oliveira, Anjolina Grisi 2 de Paiva, Valeria 2 De Queiroz, Ruy José Guerra Barretto 2 Dolinka, Igor 2 Dunn, Lawrence 2 Dupont, Benjamin 2 Đurđev, Ivana 2 Echahed, Rachid 2 Egger, Jeffrey M. 2 Fiore, Marcelo P. 2 Gomes, Gracinda M. S. 2 Gouveia, Maria João 2 Hadzihasanovic, Amar 2 Haghverdi, Esfandiar 2 Hasuo, Ichiro 2 Heijltjes, Willem B. 2 Hollings, Christopher David 2 Honyam, Preeyanuch 2 Hosseini, Seyed Naser 2 Hrubeš, Pavel 2 Kambites, Mark 2 Kerjean, Marie 2 Khovanov, Mikhail G. 2 Kudryavtseva, Ganna 2 Lauda, Aaron D. 2 Lawson, Mark Verus 2 Leung, Poon 2 Levy, Paul Blain 2 Lin, Daniel W. 2 López Franco, Ignacio L. 2 Maieli, Roberto 2 Maietti, Maria Emilia 2 Meseguer Guaita, José 2 Mikulás, Szabolcs 2 Moortgat, Michael 2 Panangaden, Prakash 2 Pavlović, Duško 2 Paykin, Jennifer 2 Peterson, Clayton 2 Plotkin, Gordon D. 2 Power, John 2 Pym, David J. 2 Redmond, Brian F. 2 Ren, Xueming 2 Sangkhanan, Kritsada 2 Sanwong, Jintana 2 Shulman, Michael A. 2 Shum, Kar-Ping 2 Solov’ëv, Sergeĭ Vladimirovich ...and 186 more Authors all top 5 Cited in 46 Serials 31 Journal of Pure and Applied Algebra 30 Theoretical Computer Science 29 MSCS. Mathematical Structures in Computer Science 18 Annals of Pure and Applied Logic 17 Theory and Applications of Categories 13 Applied Categorical Structures 8 Advances in Mathematics 8 Logical Methods in Computer Science 6 Semigroup Forum 6 Information and Computation 6 Journal of Logical and Algebraic Methods in Programming 4 Communications in Algebra 4 International Journal of Algebra and Computation 3 Journal of Philosophical Logic 2 Algebra Universalis 2 Automatica 2 Proceedings of the Edinburgh Mathematical Society. Series II 2 Journal of Applied Non-Classical Logics 2 The Bulletin of Symbolic Logic 2 RAIRO. Theoretical Informatics and Applications 2 Logica Universalis 1 Bulletin of the Australian Mathematical Society 1 International Journal of Theoretical Physics 1 Information Processing Letters 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Acta Mathematica Vietnamica 1 International Journal of Mathematics and Mathematical Sciences 1 Journal of Algebra 1 The Journal of Symbolic Logic 1 Studia Logica 1 Topology and its Applications 1 Science of Computer Programming 1 New Generation Computing 1 Science in China. Series A 1 International Journal of Foundations of Computer Science 1 Archive for Mathematical Logic 1 Algebra Colloquium 1 Higher-Order and Symbolic Computation 1 Probability in the Engineering and Informational Sciences 1 Journal of the Australian Mathematical Society 1 Journal of Algebra and its Applications 1 SIGMA. Symmetry, Integrability and Geometry: Methods and Applications 1 Journal of Homotopy and Related Structures 1 Japanese Journal of Mathematics. 3rd Series 1 RAIRO. Theoretical Informatics and Applications 1 Journal of Mathematics all top 5 Cited in 31 Fields 169 Category theory; homological algebra (18-XX) 121 Mathematical logic and foundations (03-XX) 106 Computer science (68-XX) 30 Group theory and generalizations (20-XX) 15 Quantum theory (81-XX) 12 General algebraic systems (08-XX) 10 Order, lattices, ordered algebraic structures (06-XX) 9 Associative rings and algebras (16-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 Differential geometry (53-XX) 7 Global analysis, analysis on manifolds (58-XX) 5 Combinatorics (05-XX) 5 Nonassociative rings and algebras (17-XX) 5 Geometry (51-XX) 4 Algebraic topology (55-XX) 3 \(K\)-theory (19-XX) 3 Topological groups, Lie groups (22-XX) 3 Functional analysis (46-XX) 3 Systems theory; control (93-XX) 2 Field theory and polynomials (12-XX) 2 Commutative algebra (13-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Convex and discrete geometry (52-XX) 2 General topology (54-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Algebraic geometry (14-XX) 1 Ordinary differential equations (34-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year