%0 Journal Article %A Marquis, Jean-Pierre %D 2013 %I Cambridge University Press %J Review of Symbolic Logic %N 1 %P 51-75 %T Categorical foundations of mathematics or how to provide foundations for abstract mathematics %V 6