2 papers
cs.LO2026
Free constructions for comprehension categories
Francesco Dagnino, Jacopo Emmenegger, Andrea Giusto
Jacobs comprehension categories subsume a large class of categorical models of type dependency, supporting also the description of morphisms between types. We study the relationshi…
cs.IT2025
A distance-free approach to generalized weights
Andrea Di Giusto, Elisa Gorla, Alberto Ravagnani
We propose a unified theory of generalized weights for linear codes endowed with an arbitrary distance. Instead of relying on supports or anticodes, the weights of a code are defin…