  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.
