I am wondering whether any enriched versions of ind- and pro- completions have been studied? I can not find any literature on them, even though I believe people (most likely the Australian school) must have cared about them in the previous years.
I would be grateful for any reference.