nLab Morgan Opie

• webpage

Selected writings

On localization (in algebraic topology) formulated in modal homotopy type theory:

• J. Daniel Christensen, Morgan Opie, Egbert Rijke, Luis Scoccola, Localization in Homotopy Type Theory, Higher Structures, 4(1) (2020), 1-32 (arXiv:1807.04155)

On principal U(3)-bundles over $\mathbb{C}P^5$:

• Morgan Opie, A classification of complex rank 3 vector bundles on complex projective 5-space (2023) [arxiv:2301.04313 doi:10.48550/arXiv.2301.04313]

category: people