Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

While browsing through several pages of nlab(mainly on n-Categories), I encountered the notion "foo" several times. However, there seems to be article on nlab about this notion. Is this some kind of category theorist slang? Please explain to me what this term means.

share|cite|improve this question
I think it is only used as a "variable"... Do you have an example? – M Turgeon Jun 20 '13 at 14:38
To enhance M Turgeon's anwser : – Pece Jun 20 '13 at 14:43
It's a reasonable guess that this originates in military slang as an acronym, and – Will Jagy Jun 20 '13 at 18:56
@Will: I think you actually want . – Qiaochu Yuan Jun 20 '13 at 19:45
up vote 12 down vote accepted

It's slang, which I've mostly seen used in the context of computing rather than category theory; foo is just a placeholder for something else, as is bar. A logician I know likes talking about widgets and wombats $-$ it all serves the same purpose.

For example, you might say "an irreducible foo is a foo with no proper sub-foos".

share|cite|improve this answer
Irreducible is a nice property for illustrating foos: +1 – Georges Elencwajg Jun 20 '13 at 14:46

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.