3 citations · 4 across the 5 of their papers we have counts for
5 papers
The compact double category models control flow and data transformations
Grigory Kondyrev, David I. Spivak
Hasegawa showed that control flow in programming languages---while loops and if-then-else statements---can be modeled using traced cocartesian categories, such as the category Set_…
Dualizable objects in stratified categories and the 1-dimensional bordism hypothesis for recollements
Grigory Kondyrev, Aaron Mazel-Gee, Jay Shah
Given a monoidal -category equipped with a monoidal recollement, we give a simple criterion for an object in to be dualizable in terms of the dualizability of each…
Equivariant Grothendieck-Riemann-Roch theorem via formal deformation theory
Grigory Kondyrev, Artem Prikhodko
We use the formalism of traces in higher categories to prove a common generalization of the holomorphic Atiyah-Bott fixed point formula and the Grothendieck-Riemann-Roch theorem. T…
Categorical proof of Holomorphic Atiyah-Bott formula
Grigory Kondyrev, Artem Prikhodko
Given a symmetric monoidal -category we promote the trace construction to a functor. We then apply this formalism to the case when is the $(\…
Derived -categories of two kinds
Grigory Kondyrev
The aim of this paper is to reformulate the theory of unbounded derived categories, including more recent categories of first and second kind, using the language of -ca…