Псевдоскаляры - это универсальный объект, допускающий эндоморфизм в скаляры и в

...
…а дальше? (Ну вообще я представляю, сам что-то похожее уже писал, определитель и прочее, но интересно, будут ли как-то использованы неканонические эндоморфизмы выше.) Но вообще да, может быть лучше делать универсальное определение и не мучиться представителями. Но когда-то давно мне не нравился, видимо, вид предлагаемого определения и я искал что-то конкретное. И пары с ориентацией довольно
Мне кажется, правильный ответ здесь -
градуированные структуры и их морфизмы, так что структура {штуки, псевдоштуки} имеет градуировку

Да, градуировка точно полезна, потому что у нас есть всякие произведения, совместимые с ней. Но когда у нас есть уже какое-то

, населённое псевдоскалярами, и потому и скалярное произведение на них, мы градуировку именно

легко построим для всего, потому что квадрат

«сокращается» в

(или

, так наверно более красиво, хоть всё и изоморфно).
-- Пт ноя 15, 2019 17:08:56 --А вот half-density — ещё покруче. Можно ли устроить какое-то представление, я даже или не знаю, или видел, но забыл.