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: positions

Topic: Paid writing (small pilot): English for Mathlib CategoryTheo

Mohsen Sharifi (Aug 16 2026 at 18:30):

Hi all — I’m looking for someone comfortable with category theory for a short paid writing pilot.

• Task: given a Lean theorem, write a clear English statement of the same mathematical claim. I can share a short instruction note and a few examples over DM.
• Time: a few hours, async, your schedule.
• Pay / credit: paid; we can agree a fair rate if it’s a fit.
• Low commitment: DM me and I’ll send a one-page note and 3–5 examples. No need to decide on the full pilot from this post.

Happy to discuss rate and timeline privately.
Thanks,
Mohsen

David Michael Roberts (Aug 16 2026 at 22:22):

May I ask: if this for training some AI system? Just worth being transparent about this, not making a judgement either way.

Mohsen Sharifi (Aug 17 2026 at 00:27):

Yes — it’s for AI research. Thanks for asking me to say that clearly.

David Michael Roberts (Aug 17 2026 at 04:59):

cf #meta: off-topic > working to help AI do math @ 💬