Sebastian Posur

Follow

Generating author description...

All published works
Action Title Year Authors
+ PDF Chat Frobenius monoidal functors induced by Frobenius extensions of Hopf algebras 2024 Johannes Flake
Robert Laugwitz
Sebastian Posur
+ PDF Chat Frobenius monoidal functors from ambiadjunctions and their lifts to Drinfeld centers 2024 Johannes Flake
Robert Laugwitz
Sebastian Posur
+ PDF Chat Projection formulas and induced functors on centers of monoidal categories 2024 Johannes Flake
Robert Laugwitz
Sebastian Posur
+ An Abelian Ambient Category for Behaviors in Algebraic Systems Theory 2024 Sebastian Posur
+ PDF Chat Indecomposable objects in Khovanovā€“Sazdanovic's generalizations of Deligne's interpolation categories 2023 Johannes Flake
Robert Laugwitz
Sebastian Posur
+ An abelian ambient category for behaviors in algebraic systems theory 2023 Sebastian Posur
+ PDF Chat On free abelian categories for theorem proving 2021 Sebastian Posur
+ PDF Chat Tensor products of finitely presented functors 2021 Martin Bies
Sebastian Posur
+ On free abelian categories for theorem proving 2021 Sebastian Posur
+ PDF Chat Methods of constructive category theory 2021 Sebastian Posur
+ On free abelian categories for theorem proving 2021 Sebastian Posur
+ Indecomposable objects in Khovanov-Sazdanovic's generalizations of Deligne's interpolation categories 2021 Johannes Flake
Robert Laugwitz
Sebastian Posur
+ PDF Chat A Constructive Approach to Freyd Categories 2020 Sebastian Posur
+ PDF Chat Closing the category of finitely presented functors under images made constructive 2020 Sebastian Posur
+ A constructive approach to Fourier-Mukai transforms for projective spaces via $A_{\infty}$-functors between pretriangulated dg categories 2020 Sebastian Posur
+ A constructive approach to Fourier-Mukai transforms for projective spaces via $A_{\infty}$-functors between pretriangulated dg categories 2020 Sebastian Posur
+ Tensor products of finitely presented functors 2019 Martin Bies
Sebastian Posur
+ Methods of constructive category theory 2019 Sebastian Posur
+ Atom spectra of graded rings and sheafification in toric geometry 2019 Sebastian Posur
+ Methods of constructive category theory 2019 Sebastian Posur
+ PDF Chat Linear systems over localizations of rings 2018 Sebastian Posur
+ Constructive category theory and applications to equivariant sheaves 2017 Sebastian Posur
+ Elimination via saturation 2017 Mohamed Barakat
Markus Langeā€Hegermann
Sebastian Posur
Common Coauthors
Commonly Cited References
Action Title Year Authors # of times referenced
+ Purity, Spectra and Localisation 2009 Mike Prest
6
+ Abelian categories over additive ones 1973 Murray Adelman
5
+ PDF Chat On the Freyd categories of an additive category 2000 Apostolos Beligiannis
5
+ Constructive category theory and applications to equivariant sheaves 2017 Sebastian Posur
4
+ A Singular Introduction to Commutative Algebra 2007 Gertā€“Martin Greuel
Gerhard Pfister
4
+ PDF Chat AN AXIOMATIC SETUP FOR ALGORITHMIC HOMOLOGICAL ALGEBRA AND AN ALTERNATIVE APPROACH TO LOCALIZATION 2011 Mohamed Barakat
Markus Langeā€Hegermann
4
+ PDF Chat A Constructive Approach to Freyd Categories 2020 Sebastian Posur
4
+ Gabriel morphisms and the computability of Serre quotients with applications to coherent sheaves 2014 Mohamed Barakat
Markus Langeā€Hegermann
3
+ PDF Chat Linear systems over localizations of rings 2018 Sebastian Posur
3
+ A Singular Introduction to Commutative Algebra 2002 Gertā€“Martin Greuel
Gerhard Pfister
3
+ A Course in Constructive Algebra 1988 Ray Mines
Fred Richman
Wim Ruitenburg
3
+ PDF Chat Categories for the Working Mathematician 1971 Saunders Mac Lane
3
+ Coherent Functors 1966 Maurice Auslander
3
+ A functorial approach to representation theory 1982 Maurice Auslander
2
+ Diophantine sets of representations 2014 Ivo Herzog
Sonia Lā€™Innocente
2
+ PDF Chat Grade Filtration of Linear Functional Systems 2012 Alban Quadrat
2
+ Gabriel morphisms and the computability of Serre quotients with applications to coherent sheaves 2014 Mohamed A. Barakat
Markus Langeā€Hegermann
2
+ Basic concepts of enriched category theory 1982 G. M. Kelly
2
+ Contravariant functors on the category of finitely presented modules 2008 Ivo Herzog
2
+ Injective stabilization of additive functors. II. (Co)torsion and the Auslander-Gruson-Jensen functor 2019 Alex Martsinkovsky
Jeremy Russell
2
+ On the Ext-computability of Serre quotient categories 2014 Mohamed Barakat
Markus Langeā€Hegermann
1
+ Erratum to ā€œThe homogeneous coordinate ring of a toric varietyā€ 2013 David Cox
1
+ PDF Chat Categorification and Heisenberg doubles arising from towers of algebras 2014 Alistair Savage
Oded Yacobi
1
+ La queste del saint Gra(AL): A computational approach to local algebra 1991 Teo Mora
1
+ Groupes D'Homotopie Et Classes De Groupes Abeliens 1953 Jean-Pierre Serre
1
+ Structure sheaves of definable additive categories 2009 Mike Prest
Ravi Rajani
1
+ PDF Chat Recent progress in an algebraic analysis approach to linear systems 2014 Daniel Robertz
1
+ Key problems in the extension of module-behaviour duality 2002 Jeffrey J. Wood
1
+ PDF Chat Homotopy associativity of š»-spaces. II 1963 James Stasheff
1
+ System Equivalence for AR-Systems over Ringsā€”with an Application to Delay-Differential Systems 1999 L.C.G.J.M. Habets
1
+ On blocks of Deligne's category<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mrow><mml:munder><mml:mi mathvariant="normal">Re</mml:mi><mml:mo>Ģ²</mml:mo></mml:munder><mml:mi mathvariant="normal">p</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mo stretchy="false">)</mml:mo></mml:math> 2010 Jonathan Comes
Victor Ostrik
1
+ Topological Auantum Field Theories derived from the Kauffman bracket 1995 Christian Blanchet
Nathan Habegger
Gregor Masbaum
Pierre Vogel
1
+ PDF Chat A first course in noncommutative rings 1992 Tsit Yuen Lam
1
+ PDF Chat Equivalences of derived categories andK3 surfaces 1997 Dmitri Olegovich Orlov
1
+ Rings with several objects 1972 Barry Mitchell
1
+ Homotopy Type Theory: Univalent Foundations of Mathematics 2013 Peter Aczel
Benedikt Ahrens
Thorsten Altenkirch
Steve Awodey
Bruno Barras
Andrej Bauer
Yves Bertot
Marc Bezem
Thierry Coquand
Eric Finster
1
+ PDF Chat Computations in Algebraic Geometry with Macaulay 2 2002 David Eisenbud
Daniel R. Grayson
Michael Stillman
Bernd Sturmfels
1
+ Idempotent Completion of Triangulated Categories 2001 Paul Balmer
Marco Schlichting
1
+ PDF Chat Invariants of the orthosymplectic Lie superalgebra and super Pfaffians 2016 G Lehrer
R. B. Zhang
1
+ PDF Chat The uniqueness problem of dgā€lifts and Fourierā€Mukai kernels 2016 Francesco Genovese
1
+ New Developments in Lie Theory and Its Applications 2011 Carina Boyallian
Esther Galina
Linda Saal
1
+ PDF Chat Existence et approximation des solutions des Ʃquations aux dƩrivƩes partielles et des Ʃquations de convolution 1956 Bernard Malgrange
1
+ A tour about existence and uniqueness of dg enhancements and lifts 2016 Alberto Canonaco
Paolo Stellari
1
+ Isolated singularities and existence of almost split sequences 1986 Maurice Auslander
Louise Unger
1
+ Unimodality and Lie Superalgebras 1985 Richard P. Stanley
1
+ Injective stabilization of additive functors, I. Preliminaries 2019 Alex Martsinkovsky
Jeremy Russell
1
+ Thick ideals in Deligne's category <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:munder><mml:mrow><mml:mi mathvariant="normal">Re</mml:mi></mml:mrow><mml:mo>_</mml:mo></mml:munder><mml:mi mathvariant="normal">p</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mrow><mml:mi>O</mml:mi></mml:mrow><mml:mrow><mml:mi>Ī“</mml:mi></mml:mrow></mml:msub><mml:mo stretchy="false">)</mml:mo></mml:math> 2017 Jonathan Comes
Thorsten Heidersdorf
1
+ A Constructive Approach to Arithmetics in Ore Localizations 2017 Johannes Hoffmann
Viktor Levandovskyy
1
+ PDF Chat On Semisimplification of Tensor Categories 2021 Pavel Etingof
Victor Ostrik
1
+ Localizations of the Category of Aāˆž Categories and Internal Homs 2019 Alberto Canonaco
Mattia Ornaghi
Paolo Stellari
1