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

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)

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

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)