Descent for internal multicategory functors
Category Theory
2023-11-13 v4
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 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.
Cite
@article{arxiv.2112.10072,
title = {Descent for internal multicategory functors},
author = {Rui Prezado and Fernando Lucatelli Nunes},
journal= {arXiv preprint arXiv:2112.10072},
year = {2023}
}
Comments
19 pages