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.
Just wanted to share: Compositionality, your friendly neighborhood applied category theory journal, just published two new publications! Eugenia Cheng's "Distributive laws for Lawvere theories" and Michael Robinson's "Assignments to sheaves of pseudometric spaces". Read them at www.compositionality-journal.org. Plus: look for an upcoming seminar series from our published authors!
And submit your own stuff to https://compositionality-journal.org/for-authors/
Do it!
Can anyone else access the journal website for Compositionality?
I think the bill for the domain might not have been paid...
@Brendan Fong @Nina Otter @Joshua Tan
I really hope the journal isn't going to wither away, not least because I send something there not too long ago!
I already alerted @Aleks Kissinger about this a couple of days ago and said he would go after this
@David Michael Roberts @John van de Wetering Yup, the journal is not going anywhere; we're just about to publish a couple of new papers! We transferred the domain registrar a while ago, and it seems the new domain registrar did not get auto-renewed somehow. We're working on this now, but are having some delays due to the holidays.
@Joshua Tan oh, excellent, thanks.
There's now a list of accepted-but-not-yet-published papers at the journal Compositionality, at the bottom of this page:
https://compositionality-journal.org/
Right now they are these:
Bolt, Hedges, and Zahn: Bayesian open games
Gonda and Spekkens: Monotones in general resource theories
Jacobs: Urns and tubes
McPheat, Sadrzadeh, Wazni, Wijnholds: Categorical vector space semantics for Lambek calculus with a relevant modality
Roberts: Substructural fixed-point theorems and the diagonal argument: theme and variations
Rogers: Toposes of topological monoid actions
Patterson, Lynch, and Fairbanks: Categorical data structures for technical computing
Thanks, that's somewhat reassuring, I haven't heard back from them since I submitted the reformatted version.
They are having trouble getting the final step of paper production done in a reasonably speedy way, and they are trying to institute reforms to solve this problem. But as a stopgap solution, this will at least let authors prove that their papers have been accepted.
Nothing has changed in six weeks, which is frustrating.
Is there any way of getting an ETA on papers? Like: sometime in the next month/two months/six months? Is there anything an author can do to help speed up the process on the journal end?
That looks like a question for the executive editors, who don't seem to be on this forum much, so it may be more helpful to contact them directly if you haven't already done so. In case that there's any problem with that, let me know and I will use my editorial powers to try and gather some further information about what's going on.
I think coming from an internal contact it would be better.
Well, I am an editor and figured that this would make me into an internal contact. I'm not involved with the final publication process and don't know what's going on with it (one thing is that the number of accepted papers has increased relative to previous years), but I share your concern about the backlog.
I'm aware you're an editor :-) I was being gentle in my reply.
The Steering Board, which includes me, is meeting soon to start solving the problems with Compositionality that are causing this backlog. Until these are solved, there's no way to give an estimated time on when papers will be published.
After we meet, I hope one of the first steps we'll take is to give the editors more information about what's going on: that is, what are the problems, and how we hope they can be solved.
I'm sorry to sound so mysterious, but I don't want to tell folks here what's going on before even the editors have been informed!
Thanks, @John Baez . The journal https://quantum-journal.org/, which if I recall correctly was somewhat of an inspiration for Compositionality, seems to be going well. So some kind of kick/intervention/prod seems to be needed, even if the delays are due to no particular fault of people involved (and I mean this is the most charitable way!)
It looks like things have progressed at Compositionality and a bunch of new papers have appeared! Yay!
I got an email asking for a .bib file, so things are moving!
(I'd supplied a .bbl file, like one does for the arXiv, as it was generated by the proper class file, but perhaps I had the metadata slightly incomplete and it needed editing; the reason was I had been using my master BibTeX file with everything in it)
I assume you got the email from the Steering Board of Compositionality, Tobias. That should explain a bit about what's going on, and what will happen next.
Yes, I've received that email and it's been what had prompted me to check out the latest papers again :yum: I've been sharing the email with my close collaborators in case that they'd be interested. I hope that's okay even if it didn't say explicitly whether dissemination is intended at this point.
It's fine.
John Baez said:
I assume you got the email from the Steering Board of Compositionality, Tobias. That should explain a bit about what's going on, and what will happen next.
Is there any information that can be made public?
I guess there's no reason to keep it secret, especially since we're looking for people who want to be an executive editor. Here's the email:
Dear Editors -
The current Executive Board of Compositionality - Brendan Fong, Nina Otter and Josh Tan - want to step down.
They've done great work in setting up this journal, and I'll review the history below. Now the Steering Board - Bob Coecke, Valeria de Paiva, Kathryn Hess, Steve Lack, and me - need to appoint new Executive Editors and break the logjam that is holding up the publication of papers.
Jeremy Gibbons has kindly offered to help typeset papers, at least on a temporary basis, and he's working with Nina to start doing that. He also has an assistant, Karen Barnes, who has agreed to check Scholastica each week to make sure that nothing has gotten stuck, and to prompt the editorial team if anything has.
We are looking for 2 people to be Executive Editors. Previously typesetting was considered an Executive Board role, but we'd like to make that role separate. Typesetting is what requires most of the work now that the journal is set up - but the Executive Editors still have many other jobs, some listed in the attached PDF.
Most of all, the Executive Editors need to keep making the journal better and tackle any problems as they arise.
Anyone who wants to be an Executive Editor, please fill out this short form. You can also contact the Steering Board via me, but we'd like to have all candidates on a list. The most important question on the form: why do you want the job?
Finally, here is a bit of the history of how we got here. Paraphrasing Bob Coecke:
Brendan and Josh were both in my group in Oxford, and eager to create an ACT community. I suggested applying for a Lorentz workshop, which then became the first ACT conference, and after that the QPL model was adopted as this has been a successful one. Josh and I organised the 2nd ACT in Oxford, and Brendan co-organised the third ACT at MIT. A bit before the 1st ACT, Ilyas Khan asked me if there was an interest in a new journal in category theory, which he was willing to fund. Before he had funded Quantum, which has been a success story, so we adopted that model, and Brendan, Josh with later also Nina involved volunteered to set it up. Meanwhile, Brendan is CEO of Topos (again funded by Ilyas Khan), which is taking up most of his time now while Nina is busy with her postdoc and Josh is now finishing his PhD. I agree that we probably should go for people that have a more stable position.
Best,
John Baez, Bob Coecke, Valeria de Paiva, Kathryn Hess and Steve Lack
Nice! Now that this is public, is it still addressed to current editors only or are you accepting external applications too? In the latter case perhaps it's also worth publishing the attached PDF to understand the job better.
We're accepting external applications. Thanks for pointing out that I forgot to attach the job description - here it is.
Is there a deadline to apply?
Please do it now; we're trying to get people as soon as possible.
Your paper Toposes of topological monoid actions has come out on Compositionality, @Morgan Rogers (he/him). Congratulations! It seems the logjam is breaking.
Yes! I'll revive the thread about it over on #practice: our papers in a few days, since there was an error that I corrected in the review process which might be interesting to mention.
Is Compositionality currently accepting submissions? The link at the bottom on this website: https://compositionality-journal.org/for-authors/ does not seem to work
They are supposed to be open for submissions! So thanks for pointing out this problem. I can't fix it myself, but since I'm on the steering board for Compositionality I will tell the people who can.
John Baez said:
They are supposed to be open for submissions! So thanks for pointing out this problem. I can't fix it myself, but since I'm on the steering board for Compositionality I will tell the people who can.
Thanks @John Baez -- much appreciated
The submission link now works.
Good. I told Brendan, who had already noticed the problem, and he told Joshua Tan, who I believe had the power to fix it. It was a change in Scholastica, the system used by Compositionality.
Is is possible to get an update about where things are at? Is there anything that authors with papers 'to appear' can do to speed up the process?
If you look at the main webpage of Compositionality you'll see that 4 papers are in the queue to be typeset:
Bolt, Hedges, and Zahn: Bayesian open games
Gonda and Spekkens: Monotones in general resource theories
McPheat, Sadrzadeh, Wazni, Wijnholds: Categorical vector space semantics for Lambek calculus with a relevant modality
Roberts: Substructural fixed-point theorems and the diagonal argument: theme and variations
Three others that were in the queue have been typeset and published since we recruited Jeremy Gibbons to speed the process in January:
Bart Jacobs, Urns & Tubes
Evan Patterson, Owen Lynch, and James Fairbanks, Categorical Data Structures for Technical Computing
Morgan Rogers, Toposes of Topological Monoid Actions
I don't think there's anything you can do to speed the process now, though a couple of days ago I asked Jeremy how it's going. The real problem was the buildup of a backlog before he started helping the journal with its typesetting.
Is there some reason why having the paper published is significantly better to your career than having it listed as "to be published", quite visibly on the journal?
Anyway, I apologize, and assure you that some of us are working to stabilize the journal and prevent this sort of problem from recurring.
John Baez said:
Is there some reason why having the paper published is significantly better to your career than having it listed as "to be published", quite visibly on the journal?
No, it will have no impact whatsoever, since I don't have an academic career! I appreciate that the journal needs to "do all its own work", and is run by volunteers, so I really didn't want to besmirch all the work that I knew must have been going on in the background. It's just nice to have some confirmation that matters are not at a complete standstill due to unspecified and private blockages.
I'd say there's a big different between to be published papers and actually published ones: the actually published ones have (presumably) been peer reviewed and accepted! Writing papers that never make it through peer review is often a red flag re: the basics of reproducibility, the scientific method, etc. (And absolutely reviewers have found plenty of (now fixed) errors in papers I've published!). So anyway we should all be generous with our reviewing time to help science advance because it's not like anyone else can do :-)
Ryan Wisnesky said:
I'd say there's a big different between to be published papers and actually published ones: the actually published ones have (presumably) been peer reviewed and accepted! Writing papers that never make it through peer review is often a red flag re: the basics of reproducibility, the scientific method, etc. (And absolutely reviewers have found plenty of (now fixed) errors in papers I've published!). So anyway we should all be generous with our reviewing time to help science advance because it's not like anyone else can do :-)
I think by "to be published", John equivalently meant "accepted", rather than "submitted".
Yes, in this particular context "to be published" means it's listed at the bottom of the *Compositionality* home page in the queue of papers waiting to be published. It's been accepted.
Because the journal Compositionality has been suffering a bottleneck at the typesetting stage, accepted papers have been taking a long time to appear. As a stop-gap solution I got them to create a list of accepted but not yet published papers, so people could prove their papers have been accepted.
At the University of California, if you come up for a promotion or tenure and want to include in your file a paper that's been accepted but not yet published, you have to prove this by exhibiting a letter from the journal. This reduces the chance of people pretending their papers have been accepted. But if you're smart you'll notice it doesn't eliminate it!
So, I thought it might helpful if the journal publicly listed accepted papers.
By the way, here's an example of why the University of California instituted this policy a while ago. In the humanities, to get tenure you need to publish a book. There is a rather important administrator at U. C. Riverside who got tenure based on a book they claimed had been accepted for publication. But a decade later, this book has never appeared! And this is not the only suspicious behavior of this particular person.
Anyway: more importantly, Compositionality has now gotten an extra person to help with typesetting, and the list of not yet published papers has shrunk from 7 to 4 since they got to work in January.
I wish things would become even more efficient. The problem is that there's no full-time paid typesetter: everyone involved is a volunteer academic busy writing their own papers, teaching classes, etc.
Because the journal Compositionality has been suffering a bottleneck at the typesetting stage
I feel the need to clarify this statement, before the sentence gets misinterpreted. The bottleneck Compositionality was suffering was an extremely illogical way to handle the passage from the "accepted" to the "appears on the website" phase.
When I tried to speed things up a bit, without claiming any expertise but just using a pinch of common sense, I was "kindly invited" to stop, because I was acting too bossy. This is also why, by the way, my name appeared for a split second on the Compositionality website and was promptly removed after the (unpleasant, to say the least) conversation about the problem.
So: if you have been wondering why your accepted paper has been in the backlog for months, the reason was absolutely none at all; someone tried to speed up the process, but they were prevented from doing so.
I really hope the journal will get in better shape now!
Of course there's another version of this story. But I don't know exactly how correct each version is, and I also don't care too much, so I'm not going to talk about the past problems. Much more important is whether we'll manage to get rid of this bottleneck now.
But I don't know exactly how correct each version is
I do, I was there :smile: I have the vague impression you're trying to gaslight me into believing that I might have misinterpreted the facts; please, desist. Also, understand that the only reason I refrained from commenting so far is that I ultimately don't mean harm to anyone, and I don't want to act petty in revenge for the pettiness I endured, putting some people in an awkward position. But again, there's written proof of the exchanges that happened, exchanges I was the subject of. Here the point is that I'm ready to be held accountable for the mistakes I make, but that's already a full-time job: I can't also take responsibility for the mistakes of others that I was forcefully prevented from addressing. That was the bottleneck, no more and no less: obstructionism at some stage of the editorial process.
I also don't care too much
Unfortunately, when a publication more can decide your academic future, you do care a lot about the reason your paper stays parked for months in the backlog queue of a journal.
Anyway, whatever: not my problem anymore, and I wish you luck with solving it, with absolutely 0% sarcasm in this.
Well, not exactly: it's the other authors I care about now, and it is to them that I wish the best of luck. It might sound strange, but I have this thing that I care about doing my part in making the life of my peers if not easier, at least not difficult for a stupid reason. What happened was instead the definition of stupid.
(Now, rest all assured I will not say a single word more about this. Good luck with everything!)
You quoted me as saying "I don't care too much," but that was just part of my sentence. I don't care much about the history of the backlog at Compositionality, because the players in that history didn't contact me back then, and they are not sticking around now offering to help solve that problem. But I care a lot about solving the problem, since the current executive board is leaving, so it is now up to me and the other members of the steering board to do something. Once we get new executive editors, it will be up to them.
I am having trouble with the Scholastica website. I am trying upload a paper and its asking "Primary Manuscript Field" is a required field. But there's not button to upload it? There's only a button to upload additional files -- which I can do but it wont let me declare "task complete" because it is saying I am missing the "Primary Manuscript Field"... which I can't seem to upload... Does anyone know the fix?
Firefox_Screenshot_2023-05-17T22-07-19.739Z.png
I will tell some people who know more about submissions to Compositionality and this software.
Things seem to be moving a little bit again: another paper has been published! And the list of accepted papers has grown.
John Baez said:
I will tell some people who know more about submissions to Compositionality and this software.
thanks @John Baez
Thanks for the info, @David Michael Roberts. I'm sending everyone in charge an email about what's going on, including what @JS PL (he/him) reported.
@JS PL (he/him) @John Baez Hmm I've never seen this before. I can't reproduce it either, e.g. see my window below. Could you try hard refreshing or using an incognito browser?
Screen-Shot-2023-05-17-at-8.25.30-PM.png
That "Attach File" button is definitely not there for me.
I have tried it in different browsers too and refereshing. will try again
Nope no luck: I tried three different browsers, refreshing, incognito mode.
Could this be a problem with the fact that it's a resubmission and not a new submission?
JS PL (he/him) said:
Could this be a problem with the fact that it's a resubmission and not a new submission?
Ok when I start a new submission: it works and I can see the "Attach File" button.
But this is not what I want. Because this is to resubmit a new version of paper (with a reponse to the reviewers). So I probably don't want to start a completely new submission?
The email asked me to resubmit by clicking this link, and following that link I can't see the "Attach File" button. So I am still stuck and unable to upload the resubmission.
Hm, odd. Okay as a workaround let's follow-up directly in Scholastica; we can just have you submit the files to us in a message and then we can submit the revision on your behalf manually.
Joshua Tan said:
Hm, odd. Okay as a workaround let's follow-up directly in Scholastica; we can just have you submit the files to us in a message and then we can submit the revision on your behalf manually.
Great thanks. So what's the best way to send the files to you then?
See message I just sent you via Scholastica! @JS PL (he/him)
Thanks, Josh!
Yes thank you @Joshua Tan for all the help: very much appreciated
I think another article has been published! Less than a month since the last one!
What would be nice, if possible, was if the "to appear" papers were not at the bottom of the page. Over time, this will only be less and less visible. At the very least a link at the top to that section. Even better would be to make those papers have links to their arXiv versions....
Some news: Brendan Fong, Nina Otter and Joshua Tan are stepping down from their leadership of Compositionality in July 15th, and there will be new Executive Board:
In fact this new Executive Board is already getting to work now.
@John Baez maybe it's worth reminding people that the Editorial Board is still the same:
Coordinating editors:
Aleks Kissinger, University of Oxford, UK
Joachim Kock, Universitat Autònoma de Barcelona, Spain
Editors:
Corina Cirstea, University of Southampton, UK
Andrée Ehresmann, University of Picardie Jules Verne, France
Tobias Fritz, University of Innsbruck, Austria
Jeremy Gibbons, University of Oxford, UK
Nick Gurski, Case Western Reserve University, USA
Helle Hvid Hansen, University of Groningen, The Netherlands
Jules Hedges, University of Strathclyde, UK
Chris Heunen, University of Edinburgh, UK
Martha Lewis, University of Amsterdam, Netherlands
Samuel Mimram, École Polytechnique, France
Simona Paoli, University of Aberdeen, UK
Dusko Pavlovic, University of Hawaii, USA
Christian Retoré, Université de Montpellier, France
Nicoletta Sabadini, Università degli studi dell’Insubria, Italy
Mehrnoosh Sadrzadeh, Queen Mary University, UK
Paweł Sobociński, Tallinn University of Technology, Estonia
David Spivak, Topos Institute, USA
Jamie Vicary, University of Cambridge, UK
Simon Willerton, University of Sheffield, UK
Yes, they're still the same! Though maybe
Paweł Sobociński, Tallinn University of Technology, Estonia
will be removed from the list now that he's on the Executive Board.
David Michael Roberts said:
I think another article has been published! Less than a month since the last one!
What would be nice, if possible, was if the "to appear" papers were not at the bottom of the page. Over time, this will only be less and less visible. At the very least a link at the top to that section. Even better would be to make those papers have links to their arXiv versions....
Thank you for this suggestion, David. The papers now have links to their arXiv versions. I take a note to try to rearrange the main page in a way that makes them more visible.
@Mario Román awesome, thanks!
There is a now an overleaf template for the Compositionality LaTeX class. I hope it helps you typeset your submissions to the journal.
And another paper is published! Bravo to all the people who are working to grease the wheels and get things moving.
@Mario Román is it possible to have date accepted listed on papers as well as date published? This is fairly standard for maths and other journals. Given that, eg, it seems to me (looking at archived versions of the accepted papers list) papers accepted later have been published earlier, one would prefer the acceptance date was publicly recorded for posterity, rather than me using Wayback and guessing/assuming.
David Michael Roberts said:
Mario Román is it possible to have date accepted listed on papers as well as date published? This is fairly standard for maths and other journals. Given that, eg, it seems to me (looking at archived versions of the accepted papers list) papers accepted later have been published earlier, one would prefer the acceptance date was publicly recorded for posterity, rather than me using Wayback and guessing/assuming.
Yes, thank you for this suggestion, I understand this should be possible. As soon as we take time to rearrange the main page, this should be fixed.
@Mario Román thanks!
Another paper published!
https://compositionality-journal.org/papers/compositionality-5-5/
Two more!
Kiran R. Bhutani, Ravi Kalpathy, and Hosam Mahmoud, "Degrees in random m-ary hooking networks"
https://compositionality-journal.org/papers/compositionality-5-6/
Tomáš Gonda and Robert W. Spekkens, "Monotones in General Resource Theories"
https://compositionality-journal.org/papers/compositionality-5-7/
I'm next :-)
That was quick
https://doi.org/10.32408/compositionality-5-8
Wow!
Volume 5 Issue 9 of Compositionality has just been published! https://compositionality-journal.org/papers/compositionality-5-9/
:tada: :tada: Thanks Jade !!!
Huzzah! :boom:
For those who didn't bother to look, that's "Bayesian open games".
I'm very proud of this paper, this is the variant of open games that turned out to be the most useful in practice - up to software engineering considerations this develops the exact thing we use at 20squares for applied game theory and mechanism design, and it takes some decidedly nontrivial category theory to do it
New!
Masahito Hasegawa and Jean-Simon Pacaud Lemay (@JS PL (he/him)), Traced Monads and Hopf Monads
https://compositionality-journal.org/papers/compositionality-5-10/