We will define basic concepts in category theory in a fairly rigorous manner, and consider some functors that will play major roles in subsequent talks, such as the fundamental group for pointed topological spaces and the tangent functor for pointed smooth manifolds. Smooth geometry will be introduced entirely intrinsically, with the help of categorical notions such as natural isomorphism.