En el patio está construida la basílica teodosiana, dedicada a San Pedro.