კატეგორია (მათემატიკური)
NPLG Wiki Dictionaries გვერდიდან
კატეგორია – ერთი ტიპის მათემატიკური ობიექტების (სიმრავლეების, სივრცეების, ჯგუფების და ა. შ.) ერთობლიობა და მათი ურთიერთ ასახვები (მორფიზმები); K კატეგორიის ობიექტების კლასი ასე აღინიშნება – Ob K, ხოლო მორფიზმების კლასი ასე – Mor K.