Does this series of pages ever get back to category theory itself? Or is this a double tangent (in the rhetoric, not geometric sense (in the latter the tangent

Does this series of pages ever get back to category theory itself? Or is this a double tangent (in the rhetoric, not geometric sense (in the latter the tangent of a tangent is itself so that wouldn't be worth talking about would it?)).