texlive-qworld Subpackage of texlive-collection-mathscience

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.

Releases Overview