Basics on infinity category