Category: chains-as-foundations