monoidal-categories
There are 0 repository under monoidal-categories topic.
- Language:TeX 17
- Language:Python 16
iwilare / categorical-automata
Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2303.03867, https://arxiv.org/pdf/2303.03865, https://arxiv.org/abs/2305.00272
Language:Agda 16solomon-b / monoidal-functors
A library encoding monoidal functors and related structures in Haskell.
Language:Haskell 16Cobord / Hypergraph
Utilities for cospans, wiring diagrams, frobenius algebras , spans, en operads and petri nets along with more basic utilities for morphisms in (symmetric) monoidal categories, flavors of FinSet, operads and nicely presented monoids
Language:Rust 10georgejkaye / act2022-slides
Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'
Language:TeX 5Slides for my talk at the LFCS seminar, 'A compositional theory of digital circuits'
Language:TeX 1pradneshsanderan / Tool-to-explore-monoidal-categories
A tool used to validate whether a given multiplication table (representing a category ass defined in category theory) is a valid finite monoidal category or not
Language:Java 0
