Freely Adding Equality to Primary Fibrations

Doctrines are a category-theoretic reformulation of the concept of a theory from mathematical logic. In this project we will focus on the use of doctrines to present fragments of first order logic. Some doctrines have a notion of equality. Work by Fabio Pasquali has shown that doctrines that present first order logic can freely be given a notion of equality. This project seeks to generalise this result from doctrines to fibrations.

Isaac Bankier

University of Wollongong

Isaac is a third-year student at University of Wollongong, studying the Bachelor of Mathematics, majoring in pure maths. Isaac’s research interests primarily in the connection between geometry and logic, and the use of category theory to study this. He is also interested in automated theorem proving, program synthesis, and how categories can be applied to these problems. Isaac is the founder and organiser of the UOW undergraduate seminar and the current president of the UOW Mathematics and Statistics Society. Outside of Mathematics Isaac enjoys hiking, camping, and gymnastics.

You may be interested in

Zachariah Jones

Zachariah Jones

Topology and Complexity of Braided Magnetic Fields of the Sun
Chih Yuan (Yuan) Chan

Chih Yuan (Yuan) Chan

Investigation of the switching threshold in the Switching Observer Model for human perceptual estimation
Huateng Zhu

Huateng Zhu

Limit theorems for the Curie- Weiss-Potts model
Thomas Hanyang Zheng

Thomas Hanyang Zheng

Hidden Markov Models for Analyzing Stress Levels in Working Dogs: A Comparative Study of Data Collection Devices and Frequencies
Contact Us

We're not around right now. But you can send us an email and we'll get back to you, asap.

Not readable? Change text.