Категории одновременно являются домом для математических объектов и сами по себе математические объекты. В теории доказательств доказательства и теоремы также являются математическими объектами.
Голд, Бонни , и Саймонс, Роджер А., 2011. Доказательство и другие дилеммы: математика и философия . Математическая ассоциация Америки.
Херш, Рубен, 1997. Что такое математика на самом деле? Издательство Оксфордского университета.
Сфард, А., 2000, «Символизация математической реальности в существование, или как математический дискурс и математические объекты создают друг друга», в Кобб, П. и др. , Символизация и общение в математических классах: перспективы дискурса, инструментов и учебного дизайна . Лоуренс Эрльбаум.
Стюарт Шапиро , 2000. Размышления о математике: Философия математики . Издательство Оксфордского университета.