Zobrazeno 1 - 10
of 675
pro vyhledávání: '"Lemay, J."'
Autor:
Heunen, C., Lemay, J. S. Pacaud
Publikováno v:
Theory and Applications of Categories 37(21):635-670, 2021
Restriction categories were established to handle maps that are partially defined with respect to composition. Tensor topology realises that monoidal categories have an intrinsic notion of space, and deals with objects and maps that are partially def
Externí odkaz:
http://arxiv.org/abs/2009.12432
This paper describes how to define and work with differential equations in the abstract setting of tangent categories. The key notion is that of a curve object which is, for differential geometry, the structural analogue of a natural number object. A
Externí odkaz:
http://arxiv.org/abs/1911.12120
Integral categories were recently developed as a counterpart to differential categories. In particular, integral categories come equipped with an integration operator, known as an integral transformation, whose axioms generalize the basic integration
Externí odkaz:
http://arxiv.org/abs/1902.04555
Differential categories were introduced to provide a minimal categorical doctrine for differential linear logic. Here we revisit the formalism and, in particular, examine the two different approaches to defining differentiation which were introduced.
Externí odkaz:
http://arxiv.org/abs/1806.04804
Autor:
Cockett, J.R.B., Lemay, J.-S.
Publikováno v:
In Electronic Notes in Theoretical Computer Science 1 December 2018 341:45-72
Publikováno v:
In Annales Pharmaceutiques Françaises May 2018 76(3):210-217