Categories enriched on the arrow category of a cosmos correspond to promonads enriched on that cosmos. This technique can be used to extract structure for promonads as a particular case of the corresponding structure for enriched categories.
Categories enriched on the arrow category of a cosmos correspond to promonads enriched on that cosmos. This technique can be used to extract structure for promonads as a particular case of the corresponding structure for enriched categories.