Models of higher-dimensional category theory for the ouroboros language