Shape Independent Category Theory