Projects per year
Fingerprint
Dive into the research topics where JS Lemay is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 1 Active
-
Categorical Foundations of Forward Differentiation and Reverse Differentiation
15/11/23 → 14/11/28
Project: Research
-
Differential bundles in commutative algebra and algebraic geometry
Cruttwell, G. S. H. & Lemay, J-S. P., 2023, In: Theory and Applications of Categories. 39, p. 1077-1120 44 p., 36.Research output: Contribution to journal › Article › peer-review
Open Access1 Citation (Scopus) -
Hopf monads on biproducts
Hasegawa, M. & Lemay, J-S. P., 2023, In: Theory and Applications of Categories. 39, p. 804-823 20 p., 28.Research output: Contribution to journal › Article › peer-review
Open Access -
Moore-Penrose dagger categories
Cockett, R. & Lemay, J-S. P., 30 Aug 2023, Proceedings of the Twentieth International Conference on Quantum Physics and Logic. Mansfield, S., Valiro, B. & Zamdzhiev, V. (eds.). Waterloo, NSW: Open Publishing Association, p. 171-186 16 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 384).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
Open AccessFile47 Downloads (Pure) -
Taylor expansion as a monad in models of DiLL
Kerjean, M. & Lemay, J. S. P., 2023, LICS 2023: 38th Annual ACM/IEEE Symposium on Logic in Computer Science. Boston, USA: Institute of Electrical and Electronics Engineers (IEEE), 13 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
2 Citations (Scopus) -
Traced monads and Hopf monads
Hasegawa, M. & Lemay, J-S. P., 2023, In: Compositionality. 5, 10, p. 1-34 34 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile13 Downloads (Pure)