Compact closed bicategories

MaRDI QIDQ2826239zbMATHFDO

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

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

bicategorysymmetricmonoidalweak 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.

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

(30)

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

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)