डायलेक्टिक्स को उच्च पहचान गतिशीलता के रूप में होमोटॉपी प्रकार सिद्धांत और ∞-श्रेणियों में एक औपचारिक अटकल संरचनात्मक सिद्धांत | Synapse