Return to Issue Details Using categories as abstract structures to formalize computational models Download Download PDF