Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
projects:quantum:categorical [2025/04/30 09:17] – [Inference Pipeline and Evaluation] kymkiprojects:quantum:categorical [2025/05/01 21:23] (current) – [Shim - a Rust library for categorical quantum computing] kymki
Line 48: Line 48:
 ===== Reader Guidance  ===== ===== Reader Guidance  =====
  
-This entry is a an overview of the code examples (shorter bits of demonstrative code that use the Shim library) that I have implemented. It is technical. It is assumed that this is perhaps not the first time the reader has heard of category theory. The reading will benefit greatly from basic prior knowledge of concepts like monads, functors (ofc how can we otherwise grok monads), categories. Basic knowledge of quantum computing is needed but I set the level of the text to not assume deep prior expertise. +This entry is a an overview of the code examples (shorter bits of demonstrative code that use the [[https://github.com/erikkallman/shim|Shim library]]) that I have implemented. It is technical. It is assumed that this is perhaps not the first time the reader has heard of category theory. The reading will benefit greatly from basic prior knowledge of concepts like monads, functors (ofc how can we otherwise grok monads), categories. Basic knowledge of quantum computing is needed but I set the level of the text to not assume deep prior expertise. 
  
 What im hoping is that for someone active in category theory research, ML, or quantum computing can read this post and understand why I started writing Shim and see its value as a research tool. Please do contact me should you find this interesting and if any inaccuracies (I know quite a few in the code already) exist. Im happy to collaborate and discuss. What im hoping is that for someone active in category theory research, ML, or quantum computing can read this post and understand why I started writing Shim and see its value as a research tool. Please do contact me should you find this interesting and if any inaccuracies (I know quite a few in the code already) exist. Im happy to collaborate and discuss.
Line 55: Line 55:
 ===== Shim - a Rust library for categorical quantum computing ===== ===== Shim - a Rust library for categorical quantum computing =====
  
-Shim is a Rust library that provides a mathematical foundation for quantum machine learning using category theory. It aims to describe quantum computation and machine learning through categorical structures, enabling composition of quantum operations and data transformations.+Shim is a Rust library ([[https://github.com/erikkallman/shim|https://github.com/erikkallman/shim]], distributed under the MIT license) that provides a mathematical foundation for quantum machine learning using category theory. It aims to describe quantum computation and machine learning through categorical structures, enabling composition of quantum operations and data transformations.
  
 In the repo there are three larger illustrative examples that showcase its usage. This is just a highlight of some of the categorical concepts used in Shim. For a full read, clone the git repo and run the examples that come with extensive documentation.  In the repo there are three larger illustrative examples that showcase its usage. This is just a highlight of some of the categorical concepts used in Shim. For a full read, clone the git repo and run the examples that come with extensive documentation. 
Line 631: Line 631:
 ==== End-to-End Categorical Composition ==== ==== End-to-End Categorical Composition ====
  
-The framework demonstrates how to compose the entire quantum machine learning pipeline using categorical operations:+The code further demonstrates how to compose the entire quantum machine learning pipeline using categorical operations:
  
 <code rust> <code rust>
Line 748: Line 748:
 </code> </code>
  
-This encoding strategy demonstrates how classical features can be systematically mapped to quantum operations, creating a well-defined interface between classical and quantum data.+Here, via the above encoding strategy, classical features can be systematically mapped to quantum operations, creating a well-defined interface between classical and quantum data.
  
-==== Practical Benefits of the Categorical Approach ==== 
  
-The implementation demonstrates several practical benefits of the categorical approach to quantum machine learning:+===== 4. Conclusion and Outlook: The Power of Categorical Quantum ML =====
  
-  * **Systematic Experimentation**: The parameterized framework enables systematic exploration of different quantum architectures +What I wanted to demonstrate with the implementation of Shim is that that category theory provides a useful mathematical language for quantum computing with specific applications towards machine learning. 
-  * **Formal Verification**: Categorical laws provide formal verification of the implementation's mathematical correctness +
-  * **Compositionality**: The categorical structure naturally supports composition of quantum operations and data transformations +
-  * **Abstraction**: The framework abstracts away implementation details while preserving essential mathematical properties +
-  * **Scalability**: The categorical structure provides a consistent framework for scaling to more complex quantum models +
- +
-===== 4. Conclusion and Outlook: The Power of Categorical Quantum ML =====+
  
-What I wanted to demonstrate with the implementation of Shim is that that category theory provides a useful mathematical language for quantum computing with specific applications towards machine learning. By formalizing quantum operations, data transformations, and their compositions, Shim enables:+By formalizing quantum operations, data transformations, and their compositions, Shim enables:
  
   * **Mathematical Verification**: Formal verification of categorical properties ensures correctness   * **Mathematical Verification**: Formal verification of categorical properties ensures correctness