Genel Seminer: Mehmet Akif Erdal, On homotopy theories of various types of generalized smooth spaces (April 11, 2025)