Descent for internal multicategory functors

Abstract

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 internalmulticategories 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.