Hey Ian,
you hopefully are aware of the fact that you posted your question
on Christmas Eve... Why do you wonder why no one replied within 24 hours?
Didn't really think about it, I was talking to some Lojbanists on both days.
I wouldn't say so for category theoretical arguments.
That's true, but category theory does essentially everything in terms of functions. Objects in that setting get their basic properties because of certain families of functions having certain properties. So it makes sense that you'd have "there exists a function" more in category theory.
I think that as well, also one reason these arguments are often hard to understand
is because the are not structured in a very logical way.
I've been known to have trouble because the argument is too clean. Analysis in particular is a messy subject, if an argument has all the intermediate steps have been smoothed out it can be really hard to figure out how they came up with it.
mu'o mi'e la latro'a