Definition talk:Metacategory
From ProofWiki
This is really a list of axioms not a definition. I don't know how to phrase it clearly in an axiomatic way. Linus44 13:54, 19 February 2011 (CST)
- Good question. It looks coherent enough as it is. If you wish to axiomatise (eugh, horrible word) it formally, take a look at the Axiom Index and see what I did for that.--prime mover 16:51, 19 February 2011 (CST)
