Category theory view 2