You have to be explicit about the context if you've chosen to dump the implicit bundle of context.

"comprehension categories category theory" 5/5

I'd hardly say it's 2 to 10 minutes extra work, especially for such an obvious example