ProceedingsSamuel Eilenberg |
Other editions - View all
Common terms and phrases
A₁ abelian category abelian groups axioms bijection canonical cartesian morphisms Categorical Algebra closed functor cofibrations cohomology cokernel commutative diagram complex composite Conference on Categorical Corollary define definition denote direct sum element epic epimorphism exact functor exact sequence exists Ext¹ fibration finitely presented following diagram commutes full subcategory functor F Galois given half exact hence homology homomorphism homotopy idempotent identity implies induced inverse left adjoint Lemma Let f map f mapping cone modules monic monoidal closed category monomorphism natural equivalence natural transformation objects obtain P₁ preserves projective Proof properties Proposition pullback quotient R-module rari relation resp right exact ring satisfies semigroup split structure subobjects subset Suppose surjective symmetric monoidal category symmetric monoidal functor Theorem torsion unique V-functor V-natural weak kernel