The etymology of anafunctor?

Question

This could very well be me overlooking some very obvious connection, or some obscure prefix in English, but I've scoured all of the original material introducing the concept of anafunctors, namely Makkai (1996), and including the nLab page I linked to, and nowhere in it is the prefix "ana-" explained at all. Did it just... sprout of nowhere, invented out of thin air by the author? Is it short for some other word? This is rather baffling, because there are at least hints to an answer for most other terms in mathematics.

Disclaimer, that this is mostly for my own curiosity. I just saw a lack of answer, or even question, about this, so I had to ask. I appreciate any responses in advance.

Answer 1

I have found the relevant part in the original article introducing the notion of anafunctor, which is linked to in the question. On page 6 of the article (so, p. 114 on the journal), the author notes:

The use of the prefix "ana" has been suggested by Dusko Pavlovic. He noted the use of "pro-" in category theory (profunctor, proobject), and noted that in biology, the terms "anaphase" and "prophase" are used in the same context.

So, the term originates from biology, in analogy (pun unintended) between the terms "prophase" and "anaphase", and "profunctor" and "anafunctor".