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: community: our work

Topic: Patrick Nicodemus


view this post on Zulip Patrick Nicodemus (Jun 29 2025 at 19:42):

Hi, folks. I am a research mathematician interested in category theory and its applications in the theory of programming languages and in homological algebra.

I have finished this paper on fibrations between bicategories I am working on and I'm ready to submit it to the Arxiv modulo proofreading for typos. Can someone from this forum please endorse me to upload PDF's to the Arxiv? I will post the paper here so you can see what I am trying to upload. You don't have to post here in the thread publicly, just DM me so I can send you my referral code.
fibrations_between_bicategories.pdf

view this post on Zulip David Michael Roberts (Jun 29 2025 at 23:53):

@Patrick Nicodemus I will say that it needs an abstract in the pdf. I think that the arXiv's automated tooling for picking up submissions that don't fit the arXiv's standards does do checks for things like: is there a bibliography? is there an abstract? is it formatted (approximately) like a research paper? And people expect such a thing, so it would help get better traction for your paper. The arXiv metadata will ask for an abstract, so write one now and put it in the paper! Best of luck. At a very first glance, the thing looks nice, but I haven't had even a cursory read, I haven't time right now

view this post on Zulip David Michael Roberts (Jun 29 2025 at 23:58):

And I would use \setcounter{secnumdepth}{n} for an appropriate low value of n in your preamble, so that your theorem and definition numbers come out to be 1,2,...., not 0.1, 0.2, ..... (probably n=1, just experiment.)

view this post on Zulip Patrick Nicodemus (Jun 30 2025 at 00:44):

Thanks very much, good feedback.

view this post on Zulip John Baez (Jun 30 2025 at 04:49):

A paper also typically includes the author's name and some sort of contact information, so you should include that.

view this post on Zulip Kevin Carlson (Jun 30 2025 at 17:06):

As another quite infrastructural point, the ArXiv will want you to upload your .tex, not your .pdf. Trying to upload a PDF directly makes moderation much slower and your submission look much less serious.

view this post on Zulip John Baez (Jul 01 2025 at 07:19):

Indeed.

view this post on Zulip Patrick Nicodemus (Jul 01 2025 at 17:39):

Kevin Carlson said:

As another quite infrastructural point, the ArXiv will want you to upload your .tex, not your .pdf. Trying to upload a PDF directly makes moderation much slower and your submission look much less serious.

That will be a problem because I decided to use this paper as an opportunity to learn Typst, a newer typesetting software. If it's rejected for this reason it's a shame but a good lesson for the future

view this post on Zulip Oscar Cunningham (Jul 01 2025 at 18:00):

Can pandoc do typst to tex?

view this post on Zulip Kevin Carlson (Jul 01 2025 at 18:02):

Ah, that's unfortunate. It won't be rejected, I don't think, but it's definitely discouraged.