Dear all, Rose Kudzman-Blais will give a talk for this month's PCT seminar (https://pctseminar.github.io/<https://pctseminar.github.io>) on Friday March 27 at 10am JST/12pm AED (1am UTC). The zoom link to join the seminar is here: https://kyoto-u-edu.zoom.us/j/82401794000?pwd=VjVmzVjmlgxhkdHES4xYeQBTpMzQkS.1<https://kyoto-u-edu.zoom.us/j/82401794000?pwd=VjVmzVjmlgxhkdHES4xYeQBTpMzQkS.1> Title: (Bi)categorical Semantics for Non-Commutative Linear Logic Abstract: Girard introduced a sub-structural logic, without contraction and weakening, in 1987 known as linear logic. Linear logic was initially introduced as a commutative logic, however its sophisticated structural rules allowed the further introduction of non-commutative variants. Of note are Lambek’s classical bilinear logic and Yetter’s cyclic linear logic. Both are non-commutative variants of multiplicative linear logic, wherein tensor and par are non-commutative connectives, but the former considers right and left versions of linear negation, while the latter has only one coherent version. In this talk, we shall consider both these variants and do a deep dive into their categorical and bicategorical semantics as developed by authors Barr, Cockett, Kowslowski and Seely over the years. We hope to see you there! Best wishes, Soichiro Fujii, Zeinab Galal and JS PL