DC FieldValueLanguage
dc.contributor.authorDošen, Kostaen
dc.contributor.authorPetrić, Zoranen
dc.date.accessioned2020-04-12T18:10:31Z-
dc.date.available2020-04-12T18:10:31Z-
dc.date.issued2015-03-25en
dc.identifier.issn1860-5974-
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/322-
dc.description.abstractAn operad (this paper deals with non-symmetric operads) may be conceived as a partial algebra with a family of insertion operations, which correspond to substitution of an operation within an operation. These insertion operations are Gerstenhaber’s circle-i products, and they satisfy two kinds of associativity, one of them involving commutativity. A Cat-operad is an operad enriched over the category Cat of small categories, as a 2-category with small hom-categories is a category enriched over Cat. This means that the operadic operations of the same arity in a Cat-operad do not make just a set, but they are the objects of a small category. The notion of weak Cat-operad is to the notion of Cat-operad what the notion of bicategory is to the notion of 2-category. This means that the equations of operads like associativity of insertions are replaced by isomorphisms in a category. The goal of this paper is to formulate conditions concerning these isomorphisms that ensure coherence, in the sense that all diagrams of canonical arrows commute. This is the sense in which the notions of monoidal category and bicategory are coherent. (The coherence of monoidal categories, which is due to Mac Lane, is the best known coherence result.) The coherence proof in the paper is much simplified by indexing the insertion operations in a context-independent way, and not in the usual manner. This proof, which is in the style of term rewriting, involves an argument with normal forms that generalizes what is established with the completeness proof for the standard presentation of symmetric groups. This generalization may be of an independent interest, and related to other matters than those studied in this paper. Some of the coherence conditions for weak Cat-operads lead to the hemiassociahedron, which is a polyhedron related to, but different from, the three-dimensional associahedron and permutohedron.en
dc.publisherLe Centre pour la Communication Scientifique Directe-
dc.relationRepresentations of logical structures and formal languages and their application in computing-
dc.relation.ispartofLogical Methods in Computer Scienceen
dc.subject2-category | Associahedron | Bicategory | Cat-operad | Coherence | Hemiassociahedron | Multicategory | Nominal arity | Non-symmetric operad | Operad | Permutohedron | Symmetric groups | Weak Cat-operaden
dc.titleWeak cat-operadsen
dc.typeArticleen
dc.identifier.doi10.2168/LMCS-11(1:10)2015en
dc.identifier.arxiv1005.4633v10-
dc.identifier.scopus2-s2.0-84927601335en
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.issue1en
dc.relation.volume11en
dc.description.rankM22-
item.grantfulltextnone-
item.cerifentitytypePublications-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypeArticle-
item.fulltextNo Fulltext-
crisitem.author.orcid0000-0003-2049-9892-
crisitem.project.projectURLhttp://www.mi.sanu.ac.rs/novi_sajt/research/projects/174026e.php-
crisitem.project.fundingProgramDirectorate for Social, Behavioral & Economic Sciences-
crisitem.project.openAireinfo:eu-repo/grantAgreement/NSF/Directorate for Social, Behavioral & Economic Sciences/1740267-
Show simple item record

SCOPUSTM   
Citations

3
checked on Mar 26, 2024

Page view(s)

66
checked on Mar 26, 2024

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.