Topologically valued transition structures
Category Theory
2026-04-16 v1 Logic in Computer Science
Logic
Abstract
We investigate several categories related to transition structures, using a mixture of algebraic and topological methods. We show how two such categories are connected by a contravariant adjunction. This is the most detailed of a family of such results depending on topological restrictions on objects and morphisms.
Cite
@article{arxiv.2604.14031,
title = {Topologically valued transition structures},
author = {Matthew Collinson},
journal= {arXiv preprint arXiv:2604.14031},
year = {2026}
}