Atlas/Foundations/Category theory
1/4
A category has objects and morphisms. Each morphism has a source and a target.