As objects which are minimal (in some respect), this seems entirely plausible, but I'm not sure what category we should be working in, and what restrictions we would need, to actually have a situation where minimal surfaces would be characterized by a universal property, if they ever can be. An uneducated guess on one possible setup where minimal surfaces would be universal: the objects are surfaces whose boundary is a given simple closed curve, and the morphisms are the area-decreasing isometries - it seems like a minimal surface should be a final object, though we would probably need to introduce an equivalence relation on the morphisms to get the maps to be unique?


I'm also curious about the same question, but for geodesics. Perhaps for them, we would use the collection of paths from point $x$ to point $y$ on a given surface, and use the length-decreasing homotopies?


Being a final object isn't the only option - maybe, for any surface, some kind of map will factor through a minimal surface associated to it?


EDIT: I'm worried this is perhaps too soft a question for MathOverflow - I'm not sure there's really a "right" answer.



Can minimal surfaces be characterized by some universal property?
I'm not sure if this answer provides you with the universal property that you desire, but there is such a category that unifies these concepts that you are after.


Cohen, Jones and Segal introduced a concept known as the "Flow Category" in the paper *Morse Theory and Classifying Spaces*, which associates to any manifold with a Morse Function a category whose objects are the critical points of the Morse function and whose morphisms are the gradient trajectories of some gradient-like vector field. Here is the reference:


<http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.5003>


You can get the paper on Ralph Cohen's page if you don't have university access:


<http://math.stanford.edu/~ralph/papers.html>


Recall that Morse Theory was invented by Marston Morse to study geodesics on manifolds. Geodesics correspond precisely to critical points of the Energy functional. I imagine that any variational problem fits into this framework. 


As a word of caution, understanding the space of gradient trajectories lies at the heart of Floer Theory, so if you want to understand Morse Theory on infinite dimensional spaces, prepared to get your hands dirty with some serious analysis. Comment if you want more references. Also, most of the above article is concerned with proving a very elegant result about the classifying space of this category for certain situations. It is very slick!


