Applied Category Theory Compositionality