BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Ahmet Emin Tatar contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
The weak units of strict monoidal 1- and 2-categories are already defined. In this paper, we define them for group-like 1- and 2-stacks. We show that they form a contractible Picard 1- and 2-stack, respectively. We give their cohomological description which provides for these stacks a representation by complexes of sheaves of groups. Later, we extend the discussion to the monoidal case.
The aim of this paper is to define and study the 3-category of extensions of Picard 2-stacks over a site S and to furnish a geometrical description of the cohomology groups Ext^i of length 3 complexes of abelian sheaves. More precisely, our main Theorem furnishes (1) a parametrization of the equivalence classes of objects, 1-arrows, 2-arrows, and 3-arrows of the 3-category of extensions of Picard 2-stacks by the cohomology groups Ext^i, and (2) a geometrical description of the cohomology groups Ext^i of length 3 complexes of abelian sheaves via extensions of Picard 2-stacks. To this end, we use the triequivalence between the 3-category of Picard 2-stacks and the tricategory T^[-2,0](S) of length 3 complexes of abelian sheaves over S introduced by the second author in arXiv:0906.2393, and we define the notion of extension in this tricategory T^[-2,0](S), getting a pure algebraic analogue of the 3-category of extensions of Picard 2-stacks. The calculus of fractions that we use to define extensions in the tricategory T^[-2,0](S) plays a central role in the proof of our Main Theorem.