Category theory view 3