Categories Between