Introduction to extensive and distributive categories