Colin Bloomfield

activity

20212026

collaborators

3 papers

math.LO2026

Dialectica Categories over Heyting Algebras

Colin Bloomfield, Peter Jipsen, Valeria de Paiva

Categorification---the process of constructing a categorical model of a piece of mathematics---often identifies a common abstraction that connects formerly unrelated but known stru…

math.LO2022

Fibered Universal Algebra for First-Order Logics

Colin Bloomfield, Yoshihiro Maruyama

We extend Lawvere-Pitts prop-categories (aka. hyperdoctrines) to develop a general framework for providing "algebraic" semantics for nonclassical first-order logics. This framework…

math.CO2021

Radio-k-Labeling of Cycles for Large k

Colin Bloomfield, Daphne Der-Fen Liu, Jeannette Ramirez

Let $G$ be a simple connected graph. For any two vertices $u$ and $v$ , let $d (u, v)$ denote the distance between $u$ and $v$ in $G$ . A radio- $k$ -labeling of $G$ for a fixed positive…