Intercats: Seminar on Categorical Interaction

Intercats: Seminar on Categorical Interaction

[David Spivak]

[Note from moderator: Apologies if you are seeing this a second time...]


INTERCATS: SEMINAR ON CATEGORICAL INTERACTION

=============================================

ANNOUNCEMENT

------------

Intercats is a new seminar series on the mathematics of interacting
systems, their composition, and their behaviour. Split in equal parts
theory and applications, we are particularly interested in
category-theoretic tools to make sense of information-processing or
adaptive systems, or those that stand in a 'bidirectional' relationship to
some environment. We aim to bring together researchers from different
communities, who may already be using similar-but-different tools, in order
to improve our own interaction.

Seminars will be held every other Tuesday at 17:00 UTC, beginning on the
25th of January.

Website: https://topos.site/intercats



FIRST MEETING

-------------

Speaker:  David Spivak

Date: 2022 / 01 / 25

Time: 17:00 UTC


INTERCATS SCOPE

---------------

Although by no means an exhaustive or prescriptive list, Intercats seminar
topics are likely to be related to the following mathematical topics:

- Generalized lenses, optics, and related structures, such as Chu spaces or
Dialectica categories;

- polynomial functors, and their associated ecosystem;

- applications of the foregoing to:

   - bidirectional processes,

   - dynamical systems,

   - wiring diagrams,

   - open games,

   - database theory,

   - automatic differentiation,

   - computational statistics,

   - machine learning.


ORGANIZERS

----------

Jules Hedges, University of Strathclyde

David Spivak, Topos Institute

Toby St Clere Smithe, Topos Institute


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

Intercats: Seminar on Categorical Interaction

[David Spivak]

INTERCATS: SEMINAR ON CATEGORICAL INTERACTION

=============================================

ANNOUNCEMENT

------------

Intercats is a new seminar series on the mathematics of interacting
systems, their composition, and their behaviour. Split in equal parts
theory and applications, we are particularly interested in
category-theoretic tools to make sense of information-processing or
adaptive systems, or those that stand in a 'bidirectional' relationship to
some environment. We aim to bring together researchers from different
communities, who may already be using similar-but-different tools, in order
to improve our own interaction.

Seminars will be held every other Tuesday at 17:00 UTC, beginning on the
25th of January.

Website: https://topos.site/intercats



FIRST MEETING

-------------

Speaker:  David Spivak

Date: 2022 / 01 / 25

Time: 17:00 UTC


INTERCATS SCOPE

---------------

Although by no means an exhaustive or prescriptive list, Intercats seminar
topics are likely to be related to the following mathematical topics:

- Generalized lenses, optics, and related structures, such as Chu spaces or
Dialectica categories;

- polynomial functors, and their associated ecosystem;

- applications of the foregoing to:

   - bidirectional processes,

   - dynamical systems,

   - wiring diagrams,

   - open games,

   - database theory,

   - automatic differentiation,

   - computational statistics,

   - machine learning.


ORGANIZERS

----------

Jules Hedges, University of Strathclyde

David Spivak, Topos Institute

Toby St Clere Smithe, Topos Institute


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]