4 citations · 12 across the 13 of their papers we have counts for
17 papers
Monoidal adjunctions and abelian envelopes
Johannes Flake, Robert Laugwitz, Sebastian Posur
We show how monoidal adjunctions can be used to prove the existence of monoidal abelian envelopes of pseudo-tensor categories, in particular, those admitting a combinatorial descri…
On the computation of the vanishing locus of a finitely presented functor
Sebastian Posur
We discuss invariants which are helpful for the computation of the vanishing locus of a finitely presented functor , i.e., the set of points in the Ziegler spectrum on…
Frobenius monoidal functors induced by Frobenius extensions of Hopf algebras
Johannes Flake, Robert Laugwitz, Sebastian Posur
We show that induction along a Frobenius extension of Hopf algebras is a Frobenius monoidal functor in great generality, in particular, for all finite-dimensional and all pointed H…
Frobenius monoidal functors from ambiadjunctions and their lifts to Drinfeld centers
Johannes Flake, Robert Laugwitz, Sebastian Posur
We identify general conditions, formulated using the projection formula morphisms, for a functor that is simultaneously left and right adjoint to a strong monoidal functor to be a…
Projection formulas and induced functors on centers of monoidal categories
Johannes Flake, Robert Laugwitz, Sebastian Posur
Given a monoidal adjunction, we show that the right adjoint induces a braided lax monoidal functor between the corresponding Drinfeld centers provided that certain natural transfor…
An abelian ambient category for behaviors in algebraic systems theory
Sebastian Posur
We describe an abelian category in which the solution sets of finitely many linear equations over an arbitrary ring with values in an arbitrary left -module…
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…
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 …
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…
Closing the category of finitely presented functors under images made constructive
Sebastian Posur
For an additive category we provide an explict construction of a category whose objects can be thought of as formally representing $\frac{\…
Tensor products of finitely presented functors
Martin Bies, Sebastian Posur
We study right exact tensor products on the category of finitely presented functors. As our main technical tool, we use a multilinear version of the universal property of so-called…
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…
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…
A constructive approach to Freyd categories
Sebastian Posur
In this paper we give an algorithmic description of Freyd categories that subsumes and enhances the usual approach to finitely presented modules in computer algebra. The upshot is…
Constructing equivariant vector bundles via the BGG correspondence
Sebastian Posur
We describe a strategy for the construction of finitely generated -equivariant -graded modules over the exterior algebra for a finite group . By an equivarian…
Linear systems over localizations of rings
Sebastian Posur
We describe a method for solving linear systems over the localization of a commutative ring at a multiplicatively closed subset that works under the following hypotheses: t…
Elimination via saturation
Mohamed Barakat, Markus Lange-Hegermann, Sebastian Posur
This short paper presents saturation-based algorithms for homogenization and elimination. This algorithm can compute elimination ideals by using syzygies and ideal membership test,…