Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 14 of 14
Thanks for your recent edits, and in particular for looking into starting a page of this kind here, which has long been missing.
Just for the record I’ll voice my usual complaint about terminology:
The word “categorical” means: without exceptions or conditions; absolute; unqualified; unconditional.
This is of course not what is meant here.
In the present context the correct adjective is instead: “category-theoretic”.
A better title for this entry would be, in my opinion: category theoretic probability.
Now, I am aware that I am far outnumbered in holding this opinion.
Still, I feel that saying “categorical” for “category theoretic” is just wrong.
Just saying. Don’t let that stop you. Feel free to ignore me on this point.
If it’s of any use to you, Paolo, I have dumped a load of references here which at least are in nLab format.
Thank you, that’s very helpful!
Wasn’t there a convention to use “categorial” as the adjective for things related to category theory?
use “categorial” as the adjective for things related to category theory?
In ordinary English language there seems to be no real difference in meaning between “categorical” and “categorial”; cf. e.g. English.StackExchange/a/519672 (?)
(Also in German, for example, there are not even two such distinct words available, there is only kategorisch.)
But since “categorial” seems not to be used much in common speaking, it might at least be a better choice than “categorical” if one insists on abusing common terminology in the first place.
(For what purpose, though? “category-theoretic” is precise, pronounced, and shorter than “categori(c)al approach”. Categories in themselves are not noteworthy; it is the theory of categories that usefully informs other fields like, in the present case, probability theory. If terminology can reflect that, it should.)
Changed the title to “category-theoretic”. All of you are making good points, and there’s also the additional point that “categorical random variables” in probability means “with values in a discrete set rather than real numbers”. And I want to avoid all possible confusion, we do consider real numbers here.
All right, thanks!
May I still lobby for shortening it to category-theoretic probability? :-)
I have reformatted the data to a format more common for bibitems:
William Lawvere: The category of probabilistic mappings, seminar handout with notes by Gian-Carlo Rota (1962) [pdf]
posthumously retyped as:
Tobias Fritz (ed.): The Category of Probabilistic Mappings With Applications to Stochastic Processes, Statistics, and Pattern Recognition, including abstract and commentary added by Lawvere in 2020, Lawvere Archive (2025) [pdf]
I have also compressed the original scan pdf (from 7.85MB to 1.75 MB without visible loss) and uploaded afresh to our server.
Thank you!
1 to 14 of 14