Monadic approach to actions of internal categories

Date: