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.
Henry Story (Apr 02 2020 at 10:40):Hi, we have a Gitter channel for Web related Category Theory discussions, as well as a Web site https://web-cats.gitlab.io/ and a gitlab list of questions for web-cats. We went for gitter initially as it had support for LaTex, and just because I could not be bothered to search all the different chat options available. Since so many people from Category Theory are here, would it make sense to move this to a stream here? What do you think?
(I am completely new to zulipchat btw.)
Morgan Rogers (he/him) (Apr 02 2020 at 11:10):Henry Story said:
Hi, we have a Gitter channel for Web related Category Theory discussions, as well as a Web site https://web-cats.gitlab.io/ and a gitlab list of questions for web-cats. We went for gitter initially as it had support for LaTex, and just because I could not be bothered to search all the different chat options available. Since so many people from Category Theory are here, would it make sense to move this to a stream here? What do you think?
(I am completely new to zulipchat btw.)
Who is "we"? Are there a lot of you over there? It looks like all of the questions in that list were posted by you?
Henry Story (Apr 02 2020 at 11:14):Who is "we"? Are there a lot of you over there? It looks like all of the questions in that list were posted by you?
You can click on the gitter chat link to see who is there in the right hand column, and who participated. There is more involvement in the gitter channel than in the issues. I only started that in January, and have been more involved as I am writing a thesis in that area.
Henry Story (Apr 02 2020 at 19:31):Mhh I guess this particular channel would not be that useful at least for what initially I was thinking of as being a W3C Community Group, since CG's have to have open channels and this one is restricted. But I am happy to chat around here.
Hi @Ryan Wisnesky
Ryan Wisnesky (Apr 02 2020 at 19:32):what up tho
Henry Story (Apr 02 2020 at 21:49):(sorry fell asleep putting kids to bed)
Henry Story (May 02 2020 at 07:12):I recently tweeted about @David Spivak 's very nice introductory talk on Categorical Databases -- (@Ryan Wisnesky is mentioned quite a few times there) This has awakened interest from the decentralised identifier (DID) community, as shown by this tweet.
13 years ago I developed perhaps the simplest form of decentralised identifier WebID compatible with the Web, which I came to by applying what I learned from undergraduate philosophical logic to the web -- it can be nicely explained in terms of Frege's sense reference distinction enhanced with thoughts on speech acts - I expand on this in my second year report chapter 2 from a year ago, though this was already too long to develop the CT side.
I recently I found some very interesting talks by Per Martin-Lof starting from assertion and request that makes that case that logic is part of the deontological space and must be understood in terms of speech acts. This is what led me to look more closely at dialogical views of logic, which led me to complement topoi. I am also want to look at Session types (I watched Two sides of the same coin: Session Types and Game Semantics.
Anyone here have some idea of something else I should look at? Or a good paper that I should read in this space?
Henry Story (May 02 2020 at 07:25):I see that in streams we have learning, practice, theory. Should we have "applied CT"? Web Cats could fall under that.
Henry Story (May 02 2020 at 13:47):Rongmin Lu said:
Henry Story said:
I see that in streams we have learning, practice, theory. Should we have "applied CT"? Web Cats could fall under that.
That's #practice: applied ct.
Ah, I just found the list of all the streams.
Perhaps someone can move this whole thread over there? I think some people have special powers to do that.
John Baez (May 02 2020 at 13:56):I think anyone has the power to change the title of a bunch of messages (e.g. Web Cats) but I don't think anybody has thepower to change the stream they lie in (e.g. "general"). If anyone has this power they should tell me how to do it, because I'm a moderator and if anyone can I should be able to.
Henry Story (May 02 2020 at 13:58):I remember the first day I came to this forum, a whole bunch of messages disappeared from a thread and reappeared somewhere else (which confused me a bit). So that's all I am going on.
John Baez (May 02 2020 at 13:59):It's easy to rename threads, as I said.
John Baez (May 02 2020 at 14:00):Since nobody has actually said a whole lot about Web Cats here yet (whatever they are, I'm not quite sure), maybe you could just start a thread about them in #practice: applied ct.
Henry Story (May 02 2020 at 14:01):There's a video about web cats here: https://web-cats.gitlab.io/
Henry Story (May 02 2020 at 14:02):But good idea, if threads can't be moved (which would be problematic as that would break links), then your suggestion of opening a thread in #practice is a good idea.
Nathanael Arkor (May 02 2020 at 15:07):John Baez said:
I think anyone has the power to change the title of a bunch of messages (e.g. Web Cats) but I don't think anybody has thepower to change the stream they lie in (e.g. "general"). If anyone has this power they should tell me how to do it, because I'm a moderator and if anyone can I should be able to.
It's just not possible at all yet. I think this feature is currently being implemented.
Fabrizio Genovese (May 02 2020 at 15:15):Yes, this is the thing we are waiting for more than anything else atm :slight_smile: