10 citations · 27 across the 12 of their papers we have counts for
9 papers · 1 filter
A Polynomial Construction of Nerves for Higher Categories
Brandon T. Shapiro, David I. Spivak
We show that the construction due to Leinster and Weber of a generalized Lawvere theory for a familially representable monad on a (co)presheaf category, and the associated ``nerve'…
Structures on Categories of Polynomials
Brandon T. Shapiro, David I. Spivak
We define the monoidal category of polynomials under composition in any category with finite limits, including both cartesian and vertical morphisms…
All Concepts are
Owen Lynch, Brandon T. Shapiro, David I. Spivak
We show that the double category of comonoids in the category of polynomial functors (previously shown by Ahman-Uustalu and Garner to be equivalent to th…
Duoidal Structures for Compositional Dependence
Brandon T. Shapiro, David I. Spivak
We provide a categorical framework for mathematical objects for which there is both a sort of "independent" and "dependent" composition. Namely we model them as duoidal categories…
Enrichment of Algebraic Higher Categories
Brandon Shapiro
We provide a definition of enrichment that applies to a wide variety of categorical structures, generalizing Leinster's theory of enriched -multicategories. As a sample of newly…
Dynamic Operads, Dynamic Categories: From Deep Learning to Prediction Markets
Brandon T. Shapiro, David I. Spivak
Natural organized systems adapt to internal and external pressures and this happens at all levels of the abstraction hierarchy. Wanting to think clearly about this idea motivates o…
Familial Monads as Higher Category Theories
Brandon Shapiro
Categories, n-categories, double categories, and multicategories (among others) all have similar definitions as collections of cells with composition operations. We give an explici…
Weak cartesian properties of simplicial sets
Carmen Constantin, Tobias Fritz, Paolo Perrone +1
Many special classes of simplicial sets, such as the nerves of categories or groupoids, the 2-Segal sets of Dyckerhoff and Kapranov, and the (discrete) decomposition spaces of Gálv…
Partial Evaluations and the Compositional Structure of the Bar Construction
Carmen Constantin, Paolo Perrone, Tobias Fritz +1
The algebraic expression can be evaluated to , but it can also be partially evaluated to . In categorical algebra, such partial evaluations can be defined in…