18D25 - Category theory; homological algebra :: Categories with structure :: Strong functors, strong adjunctions