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.
Angeline Aguinaldo (Mar 23 2021 at 18:43):As an engineer that is coming up to speed with category theory, I often am attempting to model systems that I encounter using the basic category definitions and the graphical syntax. I know there are extensions of the basic definition that allow categories to differentiate into more specific structures, but it is daunting to go through the all the literature to find the categorical structure that makes sense for my application. It would be cool to have a tool that allows you to draw a diagram that has some semblance to the graphical syntax we're used too and then returns a list of suggested categorical constructs inferred by the shape of the diagram. It probably would require a machine-learning model and a training set of diagrams and labels (which could probably be scraped from nLab). Has someone thought of this already? Does it exist?
Jules Hedges (Mar 23 2021 at 19:12):I'd be very surprised if it exists already... but I can think of an alternative which is easier to build. Namely, post your sketches somewhere on this Zulip and see if anyone suggests anything
Jules Hedges (Mar 23 2021 at 19:12):(Sometimes the old ways are the best ways)
Angeline Aguinaldo (Mar 23 2021 at 19:50):Cool! Thanks! Great to hear that this Zulip can be used in that way.
Jules Hedges (Mar 23 2021 at 19:53):I'd suggest using #practice: applied ct for engineering related things. Even very naive questions can turn into research level questions when mixing engineering + category theory, just because it's such a new thing
Angeline Aguinaldo (Mar 23 2021 at 20:12):Oh, awesome!! I was looking for a stream like this. Thanks!