personal page
GoogleScholar page
On formal category theory:
Created on October 14, 2023 at 06:46:23. See the history of this page for a list of all contributions to it.