# Talk:Characterization of Metacategory via Equations

Work on this page and Definition:Dual Statement (Category Theory) is to be continued; it needs to be cast into a proper form later on, when Definition:Language of Category Theory is up. I have, however, been trying to find a way to formally introduce a metacategory axiomatically. When the language page is up, the cod,dom,id and circ (and in fact $\mathbf C_0$ and $\mathbf C_1$, but they will be derived) will refer to the undefined terms of LCT. When I find a couple of hours of continuous free time I will make a dash at defining LCT, from which the appropriate ref's will be laid out. --Lord_Farin (talk) 21:23, 14 September 2012 (UTC)