1 citations · 1 across the 6 of their papers we have counts for
6 papers
Comonads as spaces
Aaron David Fairbanks, Kevin Carlson, David I. Spivak
Comonads on Set generalize both categories and topological spaces. Expanding upon Garner's work on ionads, we develop aspects of the theory of topological spaces for arbitrary como…
Exponentiable Virtual Double Categories and Representability of Exponentials
Kevin D. Carlson, Ea E Thompson
Virtual double categories provide an effective framework for formal category theory. Recent work has investigated the question of higher morphisms between virtual double categories…
A Categorical Approach to Semantic Interoperability across Building Lifecycle
Zoltan Nagy, Ryan Wisnesky, Kevin Carlson +2
Buildings generate heterogeneous data across their lifecycle, yet integrating these data remains a critical unsolved challenge. Despite three decades of standardization efforts, ov…
Comparing loose bimodules and double barrels using pseudo-models of enhanced sketches
Jason Brown, Kevin Carlson, Sophie Libkind +1
(Pseudo) double categories have two sorts of morphisms: tight ones which compose strictly, and loose ones which compose up to coherent isomorphism. In this paper, we consider bimod…
Presheaves on lax double functors; or, Instances of models of double theories
Kevin Carlson, Evan Patterson
We introduce a notion of (co)presheaf on a lax double functor , which we generally call an instance. In the terminology of double-categorical logic, a lax double functor valued…
Omitting types and AF algebras
Kevin Carlson, Enoch Cheung, Ilijas Farah +5
We give model-theoretic characterizations of UHF algebras and of AF algebras as C*-algebras that omit certain sets of types.