4 papers
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 …
math.AG2020
A constructive approach to Fourier-Mukai transforms for projective spaces via -functors between pretriangulated dg categories
Sebastian Posur
We discuss the following problem: how can an arbitrary Fourier-Mukai transform betw…
math.CT2019
Methods of constructive category theory
Sebastian Posur
We give an introduction to constructive category theory by answering two guiding computational questions. The first question is: how do we compute the set of all natural transforma…
math.AG2018
Atom spectra of graded rings and sheafification in toric geometry
Sebastian Posur
We prove that the atom spectrum, which is a topological space associated to an arbitrary abelian category introduced by Kanda, of the category of finitely presented graded modules…