Title: Mathematical Knowledge, Objects and Applications