Compact closed bicategories

MaRDI QIDQ2826239zbMATH OpenFDO

Authors Michael Stay

Publication date 11 October 2016

Published in Theory and Applications of Categories (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1301.1053, http://www.emis.de/journals/TAC/volumes/31/26/31-26abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

bicategorymonoidalsymmetricweak dual

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Abstract: A compact closed bicategory is a symmetric monoidal bicategory where every object is equipped with a weak dual. The unit and counit satisfy the usual "zig-zag" identities of a compact closed category only up to natural isomorphism, and the isomorphism is subject to a coherence law. We give several examples of compact closed bicategories, then review previous work. In particular, Day and Street defined compact closed bicategories indirectly via Gray monoids and then appealed to a coherence theorem to extend the concept to bicategories; we restate the definition directly. We prove that given a 2-category T with finite products and weak pullbacks, the bicategory of objects of C, spans, and isomorphism classes of maps of spans is compact closed. As corollaries, the bicategory of spans of sets and certain bicategories of "resistor networks" are compact closed.

Review text

A compact closed bicategory is a symmetric monoidal bicategory where every object is equipped with a weak dual. This means that the zig-zag identities of duality only hold up-to isomorphisms which are subject themselves to coherence conditions (the so-called `swallowtail identities').NEWLINENEWLINEGiven a 2-category with finite products and weak pullbacks, the bicategory of its objects, spans, and isomorphism classes of maps of spans is proven to be a compact closed bicategory. Examples include the bicategory of spans of sets; and certain bicategories of `resistor networks'.NEWLINENEWLINEThe paper contains nice and detailed definitions of the occurring structures; such as a bicategory, a monoidal bicategory, a braided monoidal bicategory, a sylleptic monoidal bicategory, a symmetric monoidal bicategory, a symmetric monoidal closed bicategory, and a compact closed bicategory.

Recommendations

• scientific article; zbMATH DE number 7352262
• Compact closed categories and \(\Gamma\)-categories
• The compact closed bicategory of left adjoints
• The cartesian closed bicategory of generalised species of structures
• Complementary bicategory structures
• Complementary bicategory structures
• scientific article; zbMATH DE number 4025656
• On closed categories of functors
• Coherence for closed categories with biproducts
• Compactness in topological categories

Cited in

(34)

• Interpolation property for bicartesian closed categories
• Iterated spans and classical topological field theories
• Braided Picard groups and graded extensions of braided tensor categories
• Bifibrations of polycategories and classical linear logic
• Iterated traces in 2-categories and Lefschetz theorems
• A categorification of biclosed sets of strings
• Dynamical systems and sheaves
• Cohomological twisting of 2-linearization and extended TQFT
• The categorified Heisenberg algebra. I: A combinatorial representation.
• Finite products are biproducts in a compact closed category
• Bicategorical semantics for nondeterministic computation
• The compact closed bicategory of left adjoints
• Categorifying the ZX-calculus
• An extended view of the Chu-construction
• Spans of cospans in a topos
• Contravariance through enrichment
• Props in Network Theory
• Coarse-graining open Markov processes
• scientific article; zbMATH DE number 7352262 (Why is no real title available?)
• Open diagrams via coend calculus
• Coherence for bicategorical cartesian closed structure
• Non-semisimple extended topological quantum field theories
• Structured cospans
• Open Petri nets
• A bicategory of decorated cospans
• On operads, bimodules and analytic functors
• Linear lambda terms as invariants of rooted trivalent maps
• On dualizability of braided tensor categories
• Stabilized profunctors and stable species of structures
• Frobenius and commutative pseudomonoids in the bicategory of spans
• Polynomials in homotopy type theory as a Kleisli category
• Effectful semantics in 2-dimensional categories: premonoidal and Freyd bicategories
• Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads
• Premonoidal and Kleisli double categories

This page was built for publication: Compact closed bicategories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2826239)