Max S. New ⚜️ on Nostr: There's a terminological quirk that I really despise which is including the name of a ...

There's a terminological quirk that I really despise which is including the name of a bound variable in the name of a concept.

I think the most common one I encounter is "F-algebra". Wikipedia uses this terminology without bringing any particular "F" into scope: https://en.wikipedia.org/wiki/F-algebra which probably is one of the reasons this bad terminology propagates. nlab does better, only saying "F-algebra" when we are talking about an abstract functor called "F": https://ncatlab.org/nlab/show/algebra+for+an+endofunctor .

In one of my first papers in grad school we made this mistake in that we called some charts we came up with "L,M,N"-graphs because they were parameterized by variables which we arbitrarily called L,M and N.