A category internal to itself