The coalgebraic enrichment of algebras in higher categories - Maximilien Péroux (2020)