On W*-categories:
Created on April 24, 2021 at 21:46:00. See the history of this page for a list of all contributions to it.