<!DOCTYPE html><html><head>

<meta http-equiv="Content-Type" content="text/html; charset=utf-8">

  </head>

  <body>

    <p>Dear all,</p>

    <p>Tomorrow, on <b>Friday</b> <b>May 30th at 2pm</b> we will hear

      from <b>Melika Norouzbeygi</b> in the <b>peripatetic seminar</b>.<br>

    </p>

    <p><i>Title</i>: Actegories and Copowers with Application to Message

      Passing Semantics<br>

      <br>

      <i>Abstract</i>: In this talk we prove that giving a right

      actegory with hom-objects is equivalent to giving a right-enriched

      category with copowers. While this result is known in the closed

      symmetric setting, our contribution extends the equivalence to

      non-closed and non-symmetric monoidal bases. This generalization

      is motivated by the semantics of higher-order message passing in

      the <b>Categorical Message Passing Language (CaMPL)</b>, a

      concurrent language whose semantics is given by a linear actegory.

      A desirable feature for this language is the support of

      higher-order processes: processes that are passed as first class

      citizens between processes. While this ability is already present

      in any closed linear type systems -- such as <b>CaMPL</b>'s -- to

      support arbitrary recursive process definitions requires the

      ability to reuse passed processes. Concurrent resources in <b>CaMPL</b>,

      however, cannot be duplicated, thus, passing processes as linear

      closures does not provide the required flexibility. This means

      processes must be passed as sequential data and the concurrent

      side must be <b>enriched</b> in the sequential side, motivating

      the technical result of this paper.</p>

    <p>It will take place on Friday May 30th at 2pm in ICT 616.</p>

    <p>Looking forward to seeing you there!<br>

    </p>

    <p>Best regards,</p>

    <p>Florian<br>

    </p>

  </body>

</html>