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

This LaTeX package has been designed for the typesetting of graphical languages grounded in monoidal category theory and its extensions. It provides a declarative, LaTeX-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.

Sources	/graphics/pgf/contrib/qworld
Documentation	README.md Package documentation (English) Package documentation (Japanese)
Version	1.1.2
Licenses	The LaTeX Project Public License 1.3c
Copyright	2025 Niina Ryota
Maintainer	Niina Ryota
Contained in	TeX Live as qworld MiKTeX as qworld
Topics	Graphics Circuit Diagram Physics Maths PGF TikZ Diagrams

Download the contents of this package in one zip archive (1.1M).