Content atlas · skill

Reason with objects, morphisms, identities, and composition

The learner can use domains, codomains, identity morphisms, and associative composition to reason in a supplied category. This capability generalizes beyond composing functions in Set.

0 published problems

1. No published problems yet.