Article contents
Formal Categories
Published online by Cambridge University Press: 20 November 2018
Extract
A category is made up of its class of objects , of a function M (or ) which assigns to each (A,B) ∊ × the class M(A, B) of all morphisms from A to B, of an operation μ which is a class of maps
A, B, C ∊ , and of a family of maps
- Type
- Research Article
- Information
- Copyright
- Copyright © Canadian Mathematical Society 1965
References
- 6
- Cited by