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.

Quellen	/graphics/pgf/contrib/qworld
Dokumentation	README.md Package documentation (English) Package documentation (Japanese)
Version	1.1.2
Lizenzen	The LaTeX Project Public License 1.3c
Copyright	2025 Niina Ryota
Betreuer	Niina Ryota
Enthalten in	TeX Live als qworld MiKTeX als qworld
Themen	Diagramme Grafiken Schaltkreisdiagramme PGF/TikZ Mathematik Physik

Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (1.1M).