Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Axiomatic Proof of J. Lambek's Homological Theorem
Ist Teil von
Canadian mathematical bulletin, 1964-12, Vol.7 (4), p.609-613
Ort / Verlag
Cambridge, UK: Cambridge University Press
Erscheinungsjahr
1964
Link zum Volltext
Quelle
EZB Electronic Journals Library
Beschreibungen/Notizen
A category with zero-maps is called "quasi-exact" in the sense of D. Puppe (see [4], page 8, 2. 4), if it satisfies the following axioms:
(Q1)
Every may f is a product f=με of an epimorphisrn εfollowed by a monomorphism μ
(Q2)
a) Every epimorphism ε has a kernel k = ker ε
b) Every monomorphism μ has a cokernel γ = Coker ε, where Ker and Coker are characterized by the familiar universality properties (see [3], page 252, (1. 10) and (1. 11)).