Categories of orthogonality spaces

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Science. Official publication website can be found on muni.cz.
Authors

PASEKA Jan VETTERLEIN Thomas

Year of publication 2022
Type Article in Periodical
Magazine / Source Journal of Pure and Applied Algebra
MU Faculty or unit

Faculty of Science

Citation
Web https://doi.org/10.1016/j.jpaa.2021.106859
Doi http://dx.doi.org/10.1016/j.jpaa.2021.106859
Keywords Orthogonality spaces; Undirected graphs; Categories; Boolean subalgebras; Linear orthogonality spaces; Generalised semilinear map
Description An orthogonality space is a set equipped with a symmetric and irreflexive binary relation. We consider orthogonality spaces with the additional property that any collection of mutually orthogonal elements gives rise to the structure of a Boolean algebra. Together with the maps that preserve the Boolean substructures, we are led to the category NOS of normal orthogonality spaces. Moreover, an orthogonality space of finite rank is called linear if for any two distinct elements e and f there is a third one g such that exactly one of f and g is orthogonal to e and the pairs e, f and e, g have the same orthogonal complement. Linear orthogonality spaces arise from finite-dimensional Hermitian spaces. We are led to the full subcategory LOS of NOS and we show that the morphisms are the orthogonality-preserving lineations. Finally, we consider the full subcategory OS pound of LOS whose members arise from positive definite Hermitian spaces over Baer ordered *-fields with a Euclidean fixed field. We establish that the morphisms of OS pound are induced by generalised semiunitary mappings.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.