Do your beliefs imply a Necessary being exists?

[Categories+Sheaves]

"Supposedly"? Does it or not?

That's the conclusion of the argument, anyway. It's only proven if the argument is sound, right? And I'm pretty sure we're trying to argue that it's unsound.

Are you actually saying existence wouldn't need to be necessary for the existence of a necessary being and that this doesn't need to be logically proven before we can even attempt to logically prove the existence of a necessary being?

And I needn't always prove a graph is triangle-free before I prove it's bipartite. Likewise, if I can directly prove that a particular solution to a problem exists, I need not prove whether solutions exist in general beforehand. How many examples do I have to throw at you here?

Because that wouldn't be very clever.
As far as I can see the survey doesn't prove that and doesn't even make the attempt. It skips the step altogether making the argument fundamentally flawed.

This is like saying you can't travel between San Diego and Sacramento without going through Los Angeles. Arriving at point C need not require a stop at point B.