CTAN Comprehensive TeX Archive Network

New on CTAN: qworld

Date: April 2, 2025 2:20:14 AM CEST
Niina Ryota submitted the qworld package. Version number: 1.0.0 License type: lppl1.3c Summary description: Draw graphical calculus in monoidal categories and quantum theory Announcement text:
Qworld is a LaTeX package specifically designed for typesetting graphical calculus. It provides an intuitive set of commands for creating diagrams related to monoidal categories, Frobenius structures, braids, Hopf algebras, symmetry, duality, pivotal structures, and daggers using TikZ.
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 Erik Braun
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