Dissertations, Theses, and Capstone Projects

Date of Degree

6-2025

Document Type

Doctoral Dissertation

Degree Name

Doctor of Philosophy

Degree Level

Doctoral

Program

Mathematics

Advisor

John Terilla

Committee Members

Scott Wilson

Noson Yanofsky

Thomas Tradler

Subject Categories

Other Mathematics

Keywords

category theory

Abstract

We describe a novel closed monoidal structure on the nucleus of a profunctor enriched over a posetal category, a distinguished subcategory of the category of presheaves given by the invariant part of an adjunction induced by the profunctor. Our structure is motivated by a connection to a notion of type given by orthogonality. For specific examples, we consider the two-element enriching category {0,1} and the reals.

Share

COinS