Article contents
Axiomatic Proof of J. Lambek's Homological Theorem
Published online by Cambridge University Press: 20 November 2018
Extract
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)).
- Type
- Research Article
- Information
- Copyright
- Copyright © Canadian Mathematical Society 1964
References
- 4
- Cited by