J.R.B. Cockett
- Natural deduction and coherence for weakly distributive categories
1996/12/01 by Richard Blute, R.F. Blute, J.R.B. Cockett +4 · 13 citations
Computer Science · Mathematics · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Homotopy and Cohomology in Algebraic Topology
- Weakly distributive categories
1997/01/01 by J.R.B. Cockett, R.A.G. Seely, R. A. G. Seely · 11 citations
Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic
- Differential bundles and fibrations for tangent categories
2016/06/27 by J.R.B. Cockett, Cockett, J. R. B., G. S. H. Cruttwell +1 · 5 citations
Mathematics · #18D30 #18F15 #57R22 #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Category Theory (math.CT) #Differential Geometry (math.DG) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology
- Linearly distributive functors
1999/11/01 by J.R.B. Cockett, R.A.G. Seely, R. A. G. Seely · 3 citations
Computer Science · Mathematics · #Logic, programming, and type systems #Homotopy and Cohomology in Algebraic Topology #Logic, Reasoning, and Knowledge
- Differential equations in a tangent category I: Complete vector fields,\n flows, and exponentials
2019/11/27 by J.R.B. Cockett, G. S. H. Cruttwell, Cockett, J. R. B. +3 · 3 citations
Mathematics · #Advanced Differential Equations and Dynamical Systems #Algebraic Geometry and Number Theory #Category Theory (math.CT) #Differential Geometry (math.DG) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology
- Differential Categories Revisited
2018/06/13 by Richard Blute, Blute, R. F., J.R.B. Cockett +5 · 1 citation
Mathematics · Computer Science · #Advanced Topics in Algebra #Logic, programming, and type systems #Homotopy and Cohomology in Algebraic Topology
- Differential Categories Revisited
2019/07/04 by R. F. Blute, Richard Blute, J.R.B. Cockett +4 · 1 citation
Computer Science · Mathematics · #Advanced Topics in Algebra #Homotopy and Cohomology in Algebraic Topology #Logic, programming, and type systems