Categories of unbounded operators

In this article we introduce the concept of an LK∗-algebroid, which is defined axiomatically. The main example of an LK∗-algebroid is the category of all subspaces of a Hilbert space and closed (not necessarily bounded) linear operators. We prove that for any LK∗-algebroid there is a faithful functor that respects its structure and maps it into this main example.