The concept of information has found application across the sciences. However, the conventional measures of information are not appropriate for all situations, and a more general mathematical concept is needed. In this work we give axioms that characterize the arithmetic of information, i.e. the way that pieces of information combine with each other. These axioms allow for a general notion of information functions, which quantify the information transmitted by a communication system. In our formalism, communication systems are represented as category-theoretic morphisms between information sources and destinations. Our framework encompasses discrete, continuous, and quantum information measures, as well as familiar mathematical functions that are not usually associated with information. We discuss these examples and prove basic results on the general behavior of information.
It looks like a discussion about this is starting over at the n-Category Café. If I didn’t have to spend today cutting down a 12-page paper to eight pages for an overpriced book of conference proceedings which nobody will read, I’d totally be writing more about it!
When you have two magic wands at your disposal, you can ask if they commute. First wave one, then the other. First wave the other, then the one. Does the same magic occur? Or at least isomorphic magics?
ERV made me aware of a new bit of silliness from Denyse O’Leary, resident “journalist” of the antiscience advocacy blog Uncommon Descent. (She’s also a proponent of non-materialist neuroscience: if being a doofus about evolution is a ticket to fame and riches earned by fleecing the gullible, then trashing other well-established sciences must also be quite a racket.) This is what O’Leary has to say on the complicated and tendentious subject of women in science and mathematics, a topic in which even intelligent people are led astray by emotive arguments and spuriously “scientific” ideas not supported by the data.
Anyone who thinks that the fact that girls are not as good as boys in math means that girls do not rule is obviously not in contact with many girls.
Barf out! Gag me with a spoon! Gross!
I’m still not accustomed to the creationist ability to pack so many kinds of wrong into a single sentence. First, the “fact” that girls can’t do math as well as boys is, ahem, anything but; beyond that, what trait makes the female of the species “rule,” in O’Leary’s estimation? Their ability to cook, clean, and fit within a well-molded wet T-shirt? Or a mystic synchrony with the energy of the Moon, no doubt a gender-specific modification of the miracle circuits which receive the soul’s instructions to the brain.
Our seminar series might or might not be getting into category theory in the coming months. (We’re already drawing diagrams and showing that they commute; not everybody knows it yet!) To facilitate this process should we ever go in that direction, and to provide a general public service, I’m compiling a list of useful category-theory resources extant on the Wobosphere. My selection will be pedagogically oriented, rather than emphasizing the latest research; I’d like to collect reading material which could plausibly be presented to advanced undergraduate or beginning graduate students in, say, their first semester of encountering the subject. I’ll be both happy and eager to update this list with any beneficial suggestions the Gentle Readers have to offer. Continue reading Category Theory on the Wobosphere→
"no matter how gifted, you alone cannot change the world"