Constructing linear bicategories

DOI10.1017/S0960129526100553MaRDI QIDQ7314948zbMATH OpenFDO

Authors Susan Niefield, Richard Blute, Rose Kudzman-Blais

Publication date 18 August 2026

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/S0960129526100553

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• *-autonomous categories. With an appendix by Po-Hsiang Chu
• *-autonomous categories of bimodules
• A 2-categories companion
• Algebraic methods in philosophical logic
• An axiomatics for bicategories of modules
• An extension of the Galois theory of Grothendieck
• Beyond the Chu-construction
• Bi-Heyting algebras, toposes and modalities
• Complemented MacNeille completions and algebras of fractions
• Constructing locales from quantales
• ENRICHED CATEGORIES AND COHOMOLOGY
• Free quantaloids
• Girard quantaloids
• Handbook of weighted automata
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 3779586 (Why is no real title available?)
• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 627763 (Why is no real title available?)
• scientific article; zbMATH DE number 720881 (Why is no real title available?)
• scientific article; zbMATH DE number 2000185 (Why is no real title available?)
• scientific article; zbMATH DE number 1924508 (Why is no real title available?)
• scientific article; zbMATH DE number 896401 (Why is no real title available?)
• scientific article; zbMATH DE number 896756 (Why is no real title available?)
• Initial normal covers in bi-Heyting toposes.
• Introduction to bicategories
• Introduction to linear bicategories
• Linear logic
• Metric spaces, generalized logic, and closed categories
• Monoidal topology. A categorical approach to order, metric, and topology
• Natural deduction and coherence for weakly distributive categories
• Probabilistic metric spaces as enriched categories
• Quantales and (noncommutative) linear logic
• Quantales, observational logic and process semantics
• Semirings and Formal Power Series
• Variation through enrichment
• Weakly distributive categories

This page was built for publication: Constructing linear bicategories

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