GitHub topics: monoidal-categories
solomon-b/monoidal-functors
A library encoding monoidal functors and related structures in Haskell.
Language: Haskell - Size: 337 KB - Last synced at: 5 days ago - Pushed at: 3 months ago - Stars: 16 - Forks: 3
vikraman/2DTypes
Collaborative work on reversible computing
Language: TeX - Size: 42.3 MB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 18 - Forks: 1
ahadziha/rewalt
A toolkit for higher-dimensional diagram rewriting.
Language: Python - Size: 2.86 MB - Last synced at: 11 days ago - Pushed at: over 2 years ago - Stars: 17 - Forks: 0
pradneshsanderan/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 - Size: 3.05 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
georgejkaye/lfcs-seminar
Slides for my talk at the LFCS seminar, 'A compositional theory of digital circuits'
Language: TeX - Size: 1.39 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
Cobord/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 - Size: 368 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 9 - Forks: 3
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 - Size: 578 KB - Last synced at: 10 months ago - Pushed at: 12 months ago - Stars: 15 - Forks: 1
georgejkaye/act2022-slides
Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'
Language: TeX - Size: 95.7 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 5 - Forks: 0