Descent for internal multicategory functors

Rui Prezado; Fernando Lucatelli Nunes

doi:10.1007/s10485-022-09706-9

Descent for internal multicategory functors

Rui Prezado^*, Fernando Lucatelli Nunes

^*Corresponding author for this work

Sub Software Technology

Research output: Contribution to journal › Article › Academic › peer-review

Abstract

We study descent for (generalized) internal multicategories. Two approaches to the problem are given. The first one relies on establishing the category of internal multicategories as an equalizer of categories of diagrams. The second approach follows the techniques developed by Ivan Le Creurer in his study of descent for internal categories.

Original language	English
Article number	11
Number of pages	18
Journal	Applied Categorical Structures
Volume	31
Issue number	1
DOIs	https://doi.org/10.1007/s10485-022-09706-9
Publication status	Published - Jan 2023

Keywords

Effective descent morphisms
Grothendieck descent theory
Internal
T -multicategory
Iso-inserter
Coherence

Access to Document

10.1007/s10485-022-09706-9Licence: CC BY

s10485-022-09706-9Final published version, 334 KBLicence: CC BY

Cite this

@article{f5d3d78ae4cc45b8bf99dba0bd1d0c20,

title = "Descent for internal multicategory functors",

abstract = "We study descent for (generalized) internal multicategories. Two approaches to the problem are given. The first one relies on establishing the category of internal multicategories as an equalizer of categories of diagrams. The second approach follows the techniques developed by Ivan Le Creurer in his study of descent for internal categories.",

keywords = "Effective descent morphisms, Grothendieck descent theory, Internal, T -multicategory, Iso-inserter, Coherence",

author = "Rui Prezado and Nunes, {Fernando Lucatelli}",

year = "2023",

month = jan,

doi = "10.1007/s10485-022-09706-9",

language = "English",

volume = "31",

journal = "Applied Categorical Structures",

issn = "0927-2852",

publisher = "Springer",

number = "1",

}

TY - JOUR

T1 - Descent for internal multicategory functors

AU - Prezado, Rui

AU - Nunes, Fernando Lucatelli

PY - 2023/1

Y1 - 2023/1

N2 - We study descent for (generalized) internal multicategories. Two approaches to the problem are given. The first one relies on establishing the category of internal multicategories as an equalizer of categories of diagrams. The second approach follows the techniques developed by Ivan Le Creurer in his study of descent for internal categories.

AB - We study descent for (generalized) internal multicategories. Two approaches to the problem are given. The first one relies on establishing the category of internal multicategories as an equalizer of categories of diagrams. The second approach follows the techniques developed by Ivan Le Creurer in his study of descent for internal categories.

KW - Effective descent morphisms

KW - Grothendieck descent theory

KW - Internal

KW - T -multicategory

KW - Iso-inserter

KW - Coherence

U2 - 10.1007/s10485-022-09706-9

DO - 10.1007/s10485-022-09706-9

M3 - Article

SN - 0927-2852

VL - 31

JO - Applied Categorical Structures

JF - Applied Categorical Structures

IS - 1

M1 - 11

ER -

Descent for internal multicategory functors

Abstract

Keywords

Access to Document

Fingerprint

Cite this