We give sufficient conditions for effective descent in categories of (generalized) internal multicategories. Two approaches to study effective descent morphisms are pursued. The first one relies on establishing the category of internal multicategories as an equalizer of categories of diagrams. The second approach extends the techniques developed by Ivan Le Creurer in his study of descent for internal essentially algebraic structures.
No takes yet. Share an insight, caveat, or question.
Prezado et al. (2023) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: