CATNIP: first announcement

38 views
Skip to first unread message

Jules Hedges

unread,
May 9, 2023, 1:00:24 PM5/9/23
to Applied Category Theory
Categories Networking Project (CATNIP) is a new scientific network between the University of Aberdeen, the University of Edinburgh and the University of Strathclyde; it is focused on category theory, both in its foundational aspects and in its interactions with computer science and with other areas of mathematics, such as topology, algebra, mathematical physics and applied mathematics.

https://sites.google.com/view/catniporg/home

The first meeting will be held at the

  University of Edinburgh
  on June 14.

Invited speakers:

* Elena di Lavore (Tallinn University of Technology): "Partial Markov Categories"
* Nicola Gambino (University of Manchester): "Two-dimensional categorical logic"
* Vanessa Miemitz (University of East Anglia): "Categorification in Representation Theory"

The programme will be announced shortly. The meeting is open to everybody. Participants from the three nodes may be offered travel reimbursement. We hope to be able to reimburse all staff and PhD students from the nodes, but if (depending on participants numbers) any budget issues arise priority will be given to PhD students and early career researchers. Please register at:

https://forms.gle/AxAuNQWqLM8fzWef7

Kind regards,

Jules Hedges
Chris Heunen
Tom Leinster
Simona Paoli

Reply all
Reply to author
Forward
0 new messages