pith. sign in

arxiv: 1409.2028 · v2 · pith:DNALNZOHnew · submitted 2014-09-06 · 🧮 math.AG · math.CT

Gabriel morphisms and the computability of Serre quotients with applications to coherent sheaves

Mohamed Barakat , Markus Lange-Hegermann This is my paper
classification 🧮 math.AG math.CT
keywords categoriesserrecoherentefficientquotientsheavesabelianapplications
0
0 comments X
read the original abstract

The purpose of this paper is to develop an efficient computational model for Abelian categories of coherent sheaves over certain classes of varieties. These categories are naturally described as Serre quotient categories. Hence, our approach relies on describing general Serre quotient categories in a constructive way which leads to an efficient computer implementation.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Implementing the biset category of finite groups

    math.CT 2026-04 unverdicted novelty 6.0

    Implementation of the biset category of finite groups in CAP as a tower of categorical constructions, with biset composition realized as Kleisli composition of a biadjunction monad using the Schreier-Sims algorithm on...

  2. Implementing the biset category of finite groups

    math.CT 2026-04 unverdicted novelty 5.0

    The biset category of finite groups is implemented in CAP via Kleisli composition of a biadjunction monad and coequalizer completion of one-object groupoids, yielding a categorical reading of the Schreier-Sims orbit a...