Methods of Constructive Category Theory