Category: mathematical reality