Text this: A Wyler-type approach to categorical topology