Showing 2025Show all
2 papers · 1 filter
math.NT2025
Notes and computations on forbidden differences
Christian Dean, Haley Havard, Elizabeth Hawkins +3
We explore from several perspectives the following question: given and , what is the maximum size of …
cs.LO2025
A type-theoretic approach to semistrict higher categories
Alex Rice
Weak -categories are known to be more expressive than their strict counterparts, but are more difficult to work with, as constructions in such a category involve the manipu…