Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.

Stream: theory: applied category theory

Topic: welcome

James Fairbanks (Mar 23 2020 at 20:32):

Hi ACTers. Feel free to invite anyone else you think is an interested in applications.

James Fairbanks (Mar 23 2020 at 20:33):

I was gonna make an Applied Applied CT stream too, but then canceled it.

Georgios Bakirtzis (Mar 23 2020 at 21:00):

Should we have a separate one for systems/cybernetics? Or do you think we should start with just this one first?

John Baez (Mar 23 2020 at 21:12):

Starting talking, see if people actually have a lot to say about some topic - and if they do, start a new stream. Right now people are mostly just talking about talking. :upside_down:

James Fairbanks (Mar 23 2020 at 21:13):

yeah I think systems fits in here.

James Fairbanks (Mar 23 2020 at 21:13):

@Blake Pollard, do you want to do any virtual AACT stuff on this zulip in April?

Christian Williams (Mar 23 2020 at 21:18):

I love talking about talking, but there's nothing like talking about talking about talking.

Christian Williams (Mar 23 2020 at 21:18):

is that the NIST workshop, or something else?

James Fairbanks (Mar 23 2020 at 21:18):

$\infty-discussion$

James Fairbanks (Mar 23 2020 at 21:19):

yeah, AACT was the name of the workshop formerly planned at NIST

Georgios Bakirtzis (Mar 23 2020 at 21:26):

James Fairbanks said:

yeah I think systems fits in here.

Not sure how to create a topic, we might want to create a general topic say "systems" or "systems theory" and then expand more based on interest (say for example, cyber-physical systems)

Georgios Bakirtzis (Mar 23 2020 at 21:27):

I have already talked to several people privately in other disjoint groups about this so having a space to compare notes is certainly something we are missing.

Blake Pollard (Mar 23 2020 at 23:53):

@James Fairbanks Absolutely!

Blake Pollard (Mar 24 2020 at 00:02):

One goal of AACT was gaining some coherence with respect to tool development for the ACT community. It'd be nice to stream a few tool talks paired with use-cases. Spreading out these talks in time and having discussions on here is a great format.

Georgios Bakirtzis (Mar 24 2020 at 00:03):

I think @James Fairbanks made a substream called "Software" for that.