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.
Lately I have been watching this video. https://www.youtube.com/watch?v=aFwVf5a3pZM it's somewhat long, but a very enjoyable listening -with good ideas, delivered in an effective manner, by a pragmatic intelligence.
I'd like to do two things now: outline what I think is the main content of it (to save time to those who don't have an hour to invest in listening) and ask to the community, are these advices good for a mathematician? Are they good for a category theorist?
The main argument of the lecture is: you don't write to explain things, but instead to change how other people view those things. Readers lose you at page 1 because they don't see anything valuable in what you write, and then complain, reject your paper, reject your proposal. And then you're miserable!
Instead. Effective writing is "valuable", gives readers proof that some well-established belief was in fact a misconception, argues that something is invalid. It's organized and persuasive, but most of all it challenges readers' preconceptions. It complies to the implicit codes of the community it is directed to (and thus, interdisciplinary writing is near-to-impossible to achieve).
Some of these remarks are banal; some of these are just common sense; some of these are cynical and surrender to the status-quo of academia (but, according to the lecturer's words, for the greater good of saving people's careers).
I believe some do not apply at all to the practice of Mathematics, and even less to category theory. For example, just one example among many, a mathematician also writes to demonstrates that something is possible, because we not only display our opinions when we write, instead we form opinions about mathematical objects starting from some backup, some evidence. Giving evidence, and interpretation for that evidence, is unavoidable and precious even if the claim is "yes, Fermat last theorem is true" or "this problem is indeed NP-hard as we expected". These statements are the exact opposite of underlying a discontinuity, because Mathematics has a (relatively) objective way to measure what is valuable contribution, and discern it from what is instead "creating new knowledge by counting the number of people in this room".
I suspect this applies to other disciplines as well, so this is the part of his speech I find more difficult to buy.
Anyway, I found this interesting and certainly a nice topic to engage my community with: we all struggle with having our work rejected/misunderstood/underappreciated.
Most of the times, of course, it's the referee's fault ;-)
Jokes apart:
Another point that I found inspiring is move out from the scholarly attitude of "showing off what you know" opposed to "here's a thing I noticed, hope it contributes to the general discourse in a fruitful way!"
Again, though, I don't feel this applies to mathematics, where a totally valuable piece of work is "here's a building block that avoids my successors some hard work on a pesky problem" or "here's something Euler conjectured: too bad it's actually false".
Something I'm starting to understand is that I must not write for myself but for other people. The issue is that writing is also very useful for myself so that I forget the ultimate goal. Writing for other people necessitate to explain things that I assume part of the background or that I find distracting when focusing on proving stuff. When I start to write I'm still doing the research although I think that I've thought enough about the topic so that everything will fall easily in place -- which is almost never verified. Because everything is still a bit uncertain, I don't want to lose time on explaining the background or writing a paragraph explaining why I choose this name for this concept that I introduce. What I'm already doing is that I write the introduction at the end. I assume this is standard practice? In this way, I don't lose time with the already known background while writing the body of the paper. Now, it seems that I still have to write more about the background and the motivations. I thought that mathematicians didn't like informal discussions but I've been asked specifically to provide more of them.
Jean-Baptiste Vienney said:
What I'm already doing is that I write the introduction at the end. I assume this is standard practice?
It is a common practice, and I've often heard this advice given.
Funnily enough, I find that about half the time, I write the introduction last, but the other half of the time, I find that I have to write it first in order to orient myself on the agenda, even the "ideology," of the paper.
Sometimes I write it first and then rewrite it last.
Like Evan, I often need to write an introduction that summarizes the paper before I can tell what the paper is about! But this summary is not a summary of the final finished paper.
Jean-Baptiste Vienney said:
Now, it seems that I still have to write more about the background and the motivations. I thought that mathematicians didn't like informal discussions but I've been asked specifically to provide more of them.
I think it's easy to get this impression because often mathematicians often don't bother to state the background and motivations, assuming perhaps that the reader already has them in the mind, but in my experience nobody ever complains about a gentle introduction that explains what is going on and why in plain terms.
There are some referees who complain about this... but there are referees who complain about almost everything!
It's definitely important to explain background and motivation, especially if you want anyone to read your papers. (Some people seem like they don't care about that.)
I've seen this video and I really strongly recommend it. I've shared it with others as well.
It's very insightful. Even if you don't agree - and like Fosco there are many things I disagree with in it - it's worth watching and forming your own opinion
One thing I want to point out (not going to rewatch it right now so excuse errors/fabrications) is that at some point in the middle of the video he starts quoting some Marxist philosopher verbatim, maybe Laruelle? The quote is that the written word "takes the form of value." This is an observation in a long line of Marxist sociology of value-form theory which is all about the dual nature of commodities as economic-material objects and as social objects (i.e., as bearers of value as a social relationship between people).
So this line is essentially saying that words are going the same way as commodities, at some point in early economic history physical goods were understood solely in terms of their material benefit to people (the use-value of a TV is that I can watch the Simpsons on it) but we now think of them as "having value", there's a certain social power embodied in them (I can sell my TV and then use the money to pay people to do things.)
I don't really mean to suggest that the speaker is a Marxist. If anything the video is a somewhat cynical embracing of Marxist theory - embacing the positive content in particular (words are like commodities) but not the normative content (this is oppressive and exploitative) - instead, as Fosco says, the advice is to adapt to the objective reality of capitalist society.
Love the direction you're taking this @Patrick Nicodemus. A few years ago I read Bernard Stiegler's A New Critique of Political Economy, a book that really expands on what you're getting at. Stiegler talks about writing itself being a tool for oppression, that the abstraction of the written word is what paves the way for the separation of the capitalist and working classes—this is in contrast with a more apprentice-based passing on of information, where productivity's teleology is for the flourishing of the producer, not in service of the accumulation of capital for the capitalist. It's a really fascinating perspective but is ultimately "unproductive" in today's reality, kind of like you and @fosco concluded.