Z uwagi na to, że obiekty matematyczne służą do modelowania rzeczywistości, dalszy rozwój teorii kategorii może posłużyć również do kategoryzacji wiedzy o otaczających nas między innymi obiektach, przedmiotach, istotach i zjawiskach. Teoriokategoryjny sposób pojmowania rzeczywistości matematycznej różni się znacznie od tego, który oferuje teoria mnogości. Wprawdzie to na gruncie tej ostatniej sformalizowano współczesną matematykę, lecz wielu uważało teorię kategorii za godną uwagi alternatywę. Teoria kategorii z powodzeniem zaczyna być wykorzystywana w informatyce1.A. Asperti, G.Longo, Categories, Types and Structures. An introduction to Category Theory for the working Computer Scientist, MIT Press, 1991.. Ponadto dzięki rozwojowi programowania obiektowego, a w szczególności wprowadzenia do niego elementów dziedziczenia oraz polimorfizmu możliwe staje się spojrzenie na klasyfikację obiektów w inny sposóbBrett D. McLaughlin, Gary Pollice, David West, Analiza i projektowanie obiektowe. Helion, 2010, ..