1. A systematic study of category theory then allows us to prove mathematical results about any of these types of general structures from the axioms of a category .
2. A systematic study of category theory then allows us to prove mathematical results on each of these types of general structures from the axioms of a category .

yes

1. In practice , when a Teredo client wants to contact a native IPv6 node , it must locate the corresponding Teredo relay , '' i.e .
2. In practice , a teredo client must contact the native IPv6 - Teredo - Relay , if it wants to locate a corresponding node , d .

no

1. '' Almost every poem by Amichai is a statement about the general human condition and Amichai , in a certain sense , is always a philosophical poet '' .
2. '' Almost every poem by Amichai is a statement about the general human condition and Amichai is , in a sense , always a philosophical poet '' .
yes