🏛️ The Category Theory Crypt

🔮 🔮 The Ethereal

On a fibrational construction for optics, lenses, and Dialectica categories

Matteo Capucci, Bruno Gavranović, ... (+3 more)

math.CT 🏛 Electronic Notes in Theoretical Informatics and Computer Science 📚 2 cites 2 years ago

🔮 🔮 The Ethereal

Data-Parallel Algorithms for String Diagrams

Paul Wilson, Fabio Zanasi

math.CT 🏛 arXiv 📚 2 cites 2 years ago

🔮 🔮 The Ethereal

The Essence of Petri Net Gluings

Fabrizio Genovese, Fosco Loregian, Daniele Palombi

math.CT 🏛 arXiv 📚 2 cites 6 years ago

🔮 🔮 The Ethereal

Categorification of Negative Information using Enrichment

Andrea Censi, Emilio Frazzoli, ... (+2 more)

math.CT 🏛 ACT 📚 2 cites 3 years ago

🔮 🔮 The Ethereal

Contextads as Wreaths; Kleisli, Para, and Span Constructions as Wreath Products

Matteo Capucci, David Jaz Myers

math.CT 🏛 arXiv 📚 1 cites 1 year ago

🔮 🔮 The Ethereal

The Natural Display Topos of Coalgebras

Colin Zwanziger

math.CT 🏛 arXiv 📚 1 cites 1 year ago

🔮 🔮 The Ethereal

What is a monoid?

Paul Blain Levy, Morgan Rogers

math.CT 🏛 PACMPL 📚 1 cites 11 months ago

🔮 🔮 The Ethereal

Random Variables, Conditional Independence and Categories of Abstract Sample Spaces

Dario Stein

math.CT 🏛 Logic in Computer Science 📚 1 cites 1 year ago

🔮 🔮 The Ethereal

Categorical magnitude and entropy

Stephanie Chen, Juan Pablo Vigneaux

math.CT 🏛 ICGSI 📚 1 cites 3 years ago

🔮 🔮 The Ethereal

Parallelism Theorem and Derived Rules for Parallel Coherent Transformations

Thierry Boy de la Tour

math.CT 🏛 arXiv 📚 1 cites 6 years ago

🔮 🔮 The Ethereal

Representing Knowledge and Querying Data using Double-Functorial Semantics

Michael Lambert, Evan Patterson

math.CT 🏛 EPTCS 📚 0 cites 2 years ago

🔮 🔮 The Ethereal

The compact double category $\mathbf{Int}(\mathbf{Poly}_*)$ models control flow and data transformations

Grigory Kondyrev, David I. Spivak

math.CT 🏛 arXiv 📚 0 cites 6 months ago

🔮 🔮 The Ethereal

An extension of Priestley duality to fuzzy topologies and positive MV-algebras

Marby Zuley Bolaños Ortiz, Ciro Russo

math.CT 🏛 arXiv 📚 0 cites 7 months ago

🔮 🔮 The Ethereal

The 2-Adjunction that relates Universal Arrows and Extensive Monads

Adrian Vazquez-Marquez, Jenylin Zuniga-Apipilhuasco

math.CT 🏛 arXiv 📚 0 cites 1 year ago

🔮 🔮 The Ethereal

Homotopical Entropy

Andrés Ortiz-Muñoz

math.CT 🏛 arXiv 📚 0 cites 1 year ago

🔮 🔮 The Ethereal

A Formalization of Operads in Coq

Zachary Flores, Angelo Taranto, ... (+2 more)

math.CT 🏛 arXiv 📚 0 cites 3 years ago

🔮 🔮 The Ethereal

A Formal Algebraic Framework for DSL Composition

Zachary Flores, Angelo Taranto, Eric Bond

math.CT 🏛 arXiv 📚 0 cites 3 years ago

🔮 🔮 The Ethereal

A Characterization of Entropy as a Universal Monoidal Natural Transformation

Cheuk Ting Li

math.CT 🏛 arXiv 📚 0 cites 2 years ago

🔮 🔮 The Ethereal

Parametrized Fixed Points on O-Categories and Applications to Session Types

Ryan Kavanagh

math.CT 🏛 arXiv 📚 0 cites 5 years ago

🔮 🔮 The Ethereal

Rewriting Structured Cospans

Daniel Cicala

math.CT 🏛 arXiv 📚 0 cites 6 years ago

🔮 🔮 The Ethereal

Typing Tensor Calculus in 2-Categories (I)

Fatimah Rita Ahmadi

math.CT 🏛 Science of Computer Programming 📚 0 cites 6 years ago

🔮 🔮 The Ethereal

Graph Convolutional Neural Networks as Parametric CoKleisli morphisms

Bruno Gavranović, Mattia Villani

math.CT 🏛 arXiv 📚 0 cites 3 years ago