Category theory view 1