1 citations · 1 across the 6 of their papers we have counts for
3 papers · 1 filter
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…