Text this: Around infinitary categorical logic