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?
Mike Stay has just posted “Category Theory for the Java Programmer,” an introduction to the subject intended for people with practical programming experience. This is the latest, but hopefully not the last, in a series of introductory articles on his blog: Read More »
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.
Why would a physics person even care about the surreal numbers? Well, ultimately, my friends and I were going through Baez and Dolan’s “From Finite Sets to Feynman Diagrams” (2000), which touches upon the issue that subtraction can be a real pain to interpret categorically. If you interpret the natural numbers as the decategorification of FinSet, then addition is easy: you’re just talking about a coproduct. But subtraction and negation — oh, la! Read More »
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. Read More »