Projects
Reading
People
Chat
SU\G
(šø)
/KĀ·U
Projects
Reading
People
Chat
Sign Up
Light
Dark
System
Sebastian Posur
Follow
Share
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
Coauthor
Papers Together
Robert Laugwitz
5
Johannes Flake
5
Martin Bies
2
Markus LangeāHegermann
1
Mohamed Barakat
1
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