6 papers · 1 filter
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 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…
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 …
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…