Project Description

Home / Members / Graduate Students / Maximilian Petrowitsch

Rotman R from logo

RESEARCH AREAS:

  • Foundations of Mathematics

  • Logic

  • Philosophy of Mathematics

CONTACT:

  • Rotman Institute of Philosophy
    Western University
    Western Interdisciplinary Research Building
    London, Ontario, Canada
    N6A 3K7

  • mpetrowi@uwo.ca

MAXIMILIAN PETROWITSCH

Doctoral Student;
Department of Philosophy, Western University

I am a PhD student interested in (higher) category theory, logic and type theory and homotopical algebra. My supervisors are Chris Kapulkin (Department of Mathematics) and John Bell (Department of Philosophy). I obtained a MSc in Mathematics from Western University and an MA in Philosophy from Università della Svizzera italiana, Lugano, Switzerland.
Currently, I am working on the interpretation and semantics of univalent dependent type theories in infinity-categories. Part of my research is developing a semantic framework for univalent type theories in elementary infinity toposes. These type theories are also sometimes summarised under the name ‘Homotopy Type Theory’.
I am also interested in higher category theory and homotopical algebra in general, in studying different models of infinity categories and studying model categories. On the philosophical side, I am interested in constructive mathematics.
  • (Higher) Category Theory and Homotopical Algebra
  • Logic and Foundations of Mathematics
  • Philosophy of Mathematics

Master Thesis:   Structure, Equivalence, and Identity: Structuralism in Category Theory and Univalent Foundations

Teaching Assistant:

 

“Calculus I”, Winter 2025, Western University

“Methods of Matrix Algebra”, Winter 2025, Western University

“Discrete Structures for Engineering”, Fall 2024, Western University

“Basic Logic”, Fall and Winter 2023/24, Western University

“Basic Logic”, Fall and Winter 2022/23, Western University

Elementary Infinity-Toposes from Type Theory, CMS Summer Meeting, Session: Category Theory: Structures and Applications, Université Laval, Quebec City, June 8, 2025

Elementary Infinity-Toposes from Type Theory, 32nd Foundational Methods in Computer Science Workshop, University of Ottawa, Ottawa, June 20, 2025

Nominalism and Infinite Cardinality, ic.SoAP/EENPS, Belgrade and Geneva/Lugano, 2021