Catales: From topologies without points to categories without objects

Abstract

Locales have been studied as "topologies without points", mainly by tools of category theory. While traditional topology presents a space as a set of points with specified neighborhoods, localic topology presents a space as a lattice of neighborhoods of unspecified points. Points are derivable as perfect ideals of neighborhoods. Another convenient fiction are the objects in category theory. The categorical view of mathematical structures focuses on morphisms and their compositions. Objects tell which morphisms are composable. They are the black boxes enclosing structures accessible only along morphisms. Since we cannot tell when such structures identical identical, the statements that involve objects' identities have been called evil. Object prohibitions have a moral aspect. A holiday quest for a categorical approach to categories as black boxes led to catales as categories reduced to partial semigroups of morphisms, analogous to locales as spaces reduced to lattices of neighborhoods. Just like points can be reconstructed as perfect filters of neighborhoods in locales, objects can be reconstructed as the top elements of the lattices of idempotents in catales.