CTAN Comprehensive TeX Archive Network

CTAN update: qworld

Date: April 3, 2025 8:11:02 PM CEST
Niina Ryota submitted an update to the qworld package. Version: 1.1.0 License: lppl1.3c Summary description: Draw graphical calculus in monoidal categories and quantum theory Announcement text:
Key Changes: English Documentation: English documentation has been added to the package to enhance accessibility for a wider audience. Optional ID Argument: The ID, which was previously a required argument for several commands, is now optional. Users can specify the ID via an optional key instead, making the syntax more flexible. Old format: \symbolI[i]{ID}{text}[above right] New format: \symbolI[i]{text}[above right, id=ID]
This package is located at https://mirrors.ctan.org/graphics/pgf/contrib/qworld More information is at https://www.ctan.org/pkg/qworld
Thanks for the upload. For the CTAN Team Manfred Lotz CTAN is run entirely by volunteers and supported by TeX user groups. Please join a user group or donate to one, see https://ctan.org/lugs .

QWorld – Drawing string diagrams for monoidal categories and quantum theory in

This package has been designed for the typesetting of graphical languages grounded in monoidal category theory and its extensions. It provides a declarative, -native interface for rendering string diagrams, eliminating the need for any external graphics software or manual image management.

The package supports a wide spectrum of categorical structures frequently encountered in categorical quantum mechanics, algebraic structures, and diagrammatic reasoning, including but not limited to:

  •  Monoidal and symmetric monoidal categories
  • Dual objects and pivotal / rigid categories
  • Dagger categories
  • Frobenius algebras and Hopf algebras
  • Braided, balanced, and ribbon categories

Internally, QWorld builds upon the TikZ graphics framework, but introduces a domain-specific layer of abstraction that aligns diagram syntax closely with categorical semantics. This design facilitates accurate and transparent visual representations of morphisms, tensor products, and composition, thereby supporting both formal exposition and pedagogical use.

QWorld is intended for researchers and educators working in categorical logic, quantum foundations, topological quantum field theory (TQFT), and related domains where graphical calculi constitute an essential mode of reasoning.

PackageQWorld
Version1.1.2
Copyright2025 Niina Ryota
MaintainerNiina Ryota

Announcements

more

Guest Book Sitemap Contact Contact Author