I am interested in a more specific reference or explanation of "the categorical view" explained in the article http://ncatlab.org/nlab/show/theory#CategoricalView. In particular, I am interested in trying to prove full completeness for a geometric model of multiplicative linear logic and I want to use a category theoretic approach in order to do so. So, when it is mentioned that
Models of a theory $\mathcal{T}$ are identified with functors $$C_{\mathcal{T}} \rightarrow \textbf{Set}$$ that preserve some (typically property-like) structures on $C_{\mathcal{T}}$, such as certain classes of colimits or limits, pertinent to the logic at hand, where $C_{\mathcal{T}}$ is the syntactic category of terms for the theory $\mathcal{T}$.
I interpret that as being that for a particular model of a theory, I want to define a functor which can be identified with that theory (in my case, the geometric model of multiplicative linear logic). Yet, I am unsure as to how I would know what properties I want it to preserve on $C_{\mathcal{T}}$.
Furthermore, the article mentions that a completeness theorem would be the statement that
the canonical map $$C_{\mathcal{T}} \rightarrow \prod_{\text{models in $\textbf{Set}$}} \textbf{Set}$$ is a full faithful embedding.
In this context, how would I prove completeness for one model of the theory, or does only refer to completeness of a theory in all possible models of that theory? In particular, a proof of the full completeness of multiplicative linear logic was given by Samson Abramsky and Radha Jagadeesan in "Games and Full Completeness for Multiplicative Linear Logic (1994)" Does this mean that completeness is proved for multiplicative linear logic in general, or just for the game-theoretic model defined in the paper?
To summarize, my questions are as follows:
1) Given a language for a signature (in the syntactic view of a theory), how do I define a functor $C_{\mathcal{T}} \rightarrow \textbf{Set}$ which can be identified with this theory?
2) In the categorical view, is completeness of a theory defined over all models for that theory, or can we prove completeness for a specific model of that theory. If the later holds, what exactly do I need to prove is a full faithful embedding?