Joanna Ko
I am currently a postdoctoral researcher at Topos Institute. I obtained my doctoral degree under the supervision of John Bourke.
I am a Mathematician, primarily a Category Theorist. I believe that the philosophy of Category Theory resonates with our cognitions, perceptions, and thinkings, therefore, Category Theory provides a nice framework for describing and recognising numerous interesting phenomena, similarities, invariants, patterns, and beauties, in the eyes of humans.
Limits of (∞, 1)-categories with structure and their lax morphisms.
In preprint. https://arxiv.org/abs/2505.15598.
Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation. (With Arkor, N., Bourke, J.)
Submitted for publication. https://arxiv.org/abs/2412.07475.
Dotted limits.
Submitted for publication. https://arxiv.org/abs/2306.01625.
Existence of groupoid models for diagrams of groupoid correspondences. (With Meyer, R.)
Theory Appl. Categ. 41(13) (2024) 449–469. https://arxiv.org/abs/2203.13622.
Monadic forgetful functors and (non-)presentability for C*- and W*-algebras. (With Chirvasitu, A.)
J. Pure Appl. Algebra 227(3) (2023) 107209. https://arxiv.org/abs/2203.12087.
The bicategory of groupoid correspondences. (With Antunes, C., Meyer, R.)
New York J. Math. 28 (2022) 1329–1364. https://arxiv.org/abs/2111.10869.
Higher Invariants
Higher Structures in Noncommutative Geometry And Quantum Algebra 2024
Australian Category Seminar