4 citations · 12 across the 13 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.RT2021
Indecomposable objects in Khovanov-Sazdanovic's generalizations of Deligne's interpolation categories
Johannes Flake, Robert Laugwitz, Sebastian Posur
Khovanov and Sazdanovic recently introduced symmetric monoidal categories parameterized by rational functions and given by quotients of categories of two-dimensional cobordisms. Th…
math.CT2021
On free abelian categories for theorem proving
Sebastian Posur
We give a computational approach to theorem proving in homological algebra. This approach is based on computations in the free abelian category of an additive category …