What is a "foo" in category theory?
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".