Compact closed bicategories

zbMATH Open1356.18003arXiv1301.1053MaRDI QIDQ2826239FDOQ2826239

Authors: Michael Stay 

Publication date: 11 October 2016

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

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.

Full work available at URL: https://arxiv.org/abs/1301.1053

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

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

zbMATH Keywords

bicategorysymmetricmonoidalweak dual

Mathematics Subject Classification ID

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

Cited In (29)

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

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)