Pith. sign in

Title resolution pending

Mohamed Barakat, The homomorphism theorem, effective computations http://www · 2009

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
browse 1 citing papers

Title metadata for this work has not finished resolving. The hub is built from the citation graph; the title resolver retries DOI and OpenAlex on its next pass.

fields

math.CT 1

years

2019 1

verdicts

CONDITIONAL 1

representative citing papers

Methods of constructive category theory

math.CT · 2019-08-12 · conditional · novelty 4.0

Using Freyd categories and generalized morphisms, the paper gives explicit algorithms for computing natural transformations between finitely presented functors and for constructing spectral sequence differentials in abelian categories.

citing papers explorer

Showing 1 of 1 citing paper.

  • Methods of constructive category theory math.CT · 2019-08-12 · conditional · none · ref 2

    Using Freyd categories and generalized morphisms, the paper gives explicit algorithms for computing natural transformations between finitely presented functors and for constructing spectral sequence differentials in abelian categories.