-
Quantum Picturalism: Learning Quantum Theory in High School
Authors:
Selma Dündar-Coecke,
Lia Yeh,
Caterina Puca,
Sieglinde M. -L. Pfaendler,
Muhammad Hamza Waseem,
Thomas Cervoni,
Aleks Kissinger,
Stefano Gogioso,
Bob Coecke
Abstract:
Quantum theory is often regarded as challenging to learn and teach, with advanced mathematical prerequisites ranging from complex numbers and probability theory to matrix multiplication, vector space algebra and symbolic manipulation within the Hilbert space formalism. It is traditionally considered an advanced undergraduate or graduate-level subject.
In this work, we challenge the conventional…
▽ More
Quantum theory is often regarded as challenging to learn and teach, with advanced mathematical prerequisites ranging from complex numbers and probability theory to matrix multiplication, vector space algebra and symbolic manipulation within the Hilbert space formalism. It is traditionally considered an advanced undergraduate or graduate-level subject.
In this work, we challenge the conventional view by proposing "Quantum Picturalism" as a new approach to teaching the fundamental concepts of quantum theory and computation. We establish the foundations and methodology for an ongoing educational experiment to investigate the question "From what age can students learn quantum theory if taught using a diagrammatic approach?". We anticipate that the primary benefit of leveraging such a diagrammatic approach, which is conceptually intuitive yet mathematically rigorous, will be eliminating some of the most daunting barriers to teaching and learning this subject while enabling young learners to reason proficiently about high-level problems. We posit that transitioning from symbolic presentations to pictorial ones will increase the appeal of STEM education, attracting more diverse audience.
△ Less
Submitted 6 December, 2023;
originally announced December 2023.
-
Obstructions to Compositionality
Authors:
Caterina Puca,
Amar Hadzihasanovic,
Fabrizio Genovese,
Bob Coecke
Abstract:
Compositionality is at the heart of computer science and several other areas of applied category theory such as computational linguistics, categorical quantum mechanics, interpretable AI, dynamical systems, compositional game theory, and Petri nets. However, the meaning of the term seems to vary across the many different applications. This work contributes to understanding, and in particular quali…
▽ More
Compositionality is at the heart of computer science and several other areas of applied category theory such as computational linguistics, categorical quantum mechanics, interpretable AI, dynamical systems, compositional game theory, and Petri nets. However, the meaning of the term seems to vary across the many different applications. This work contributes to understanding, and in particular qualifying, different kinds of compositionality. Formally, we introduce invariants of categories that we call zeroth and first homotopy posets, generalising in a precise sense the pi0 and pi1 of a groupoid. These posets can be used to obtain a qualitative description of how far an object is from being terminal and a morphism is from being iso. In the context of applied category theory, this formal machinery gives us a way to qualitatively describe the "failures of compositionality", seen as failures of certain (op)lax functors to be strong, by classifying obstructions to the (op)laxators being isomorphisms. Failure of compositionality, for example for the interpretation of a categorical syntax in a semantic universe, can both be a bad thing and a good thing, which we illustrate by respective examples in graph theory and quantum theory.
△ Less
Submitted 14 December, 2023; v1 submitted 26 July, 2023;
originally announced July 2023.
-
Fibrational Linguistics (FibLang): Language Acquisition
Authors:
Fabrizio Genovese,
Fosco Loregian,
Caterina Puca
Abstract:
In this work we show how FibLang, a category-theoretic framework concerned with the interplay between language and meaning, can be used to describe vocabulary acquisition, that is the process with which a speaker acquires new vocabulary (through experience or interaction).
We model two different kinds of vocabulary acquisition, which we call 'by example' and 'by paraphrasis'. The former captures…
▽ More
In this work we show how FibLang, a category-theoretic framework concerned with the interplay between language and meaning, can be used to describe vocabulary acquisition, that is the process with which a speaker acquires new vocabulary (through experience or interaction).
We model two different kinds of vocabulary acquisition, which we call 'by example' and 'by paraphrasis'. The former captures the idea of acquiring the meaning of a word by being shown a witness representing that word, as in 'understanding what a cat is, by looking at a cat'. The latter captures the idea of acquiring meaning by listening to some other speaker rephrasing the word with others already known to the learner.
We provide a category-theoretic model for vocabulary acquisition by paraphrasis based on the construction of free promonads. We draw parallels between our work and Wittgenstein's dynamical approach to language, commonly known as 'language games'.
△ Less
Submitted 31 July, 2023; v1 submitted 14 July, 2022;
originally announced July 2022.
-
Fibrational linguistics: First concepts
Authors:
Fabrizio Genovese,
Fosco Loregian,
Caterina Puca
Abstract:
We define a general mathematical framework for linguistics based on the theory of fibrations, called FibLang.
We start by modelling the interaction between linguistics and cognition in the most general way possible, with a heavy focus on conceptually motivating any assumption we make. The advantage is that FibLang remains agnostic with respect to any particular axiomatization of grammar one may…
▽ More
We define a general mathematical framework for linguistics based on the theory of fibrations, called FibLang.
We start by modelling the interaction between linguistics and cognition in the most general way possible, with a heavy focus on conceptually motivating any assumption we make. The advantage is that FibLang remains agnostic with respect to any particular axiomatization of grammar one may choose. As such, it is compatible with already existing categorical models of language (such as for example, DisCoCat), providing a formally sound framework to apply mathematical tools developed in the context of category theory, mainly categorical logic, to the study of language
△ Less
Submitted 11 July, 2022; v1 submitted 4 January, 2022;
originally announced January 2022.