"au:"Kevin Carlson"" — arXiv2 SearchShowing 1–9 of 9 results
/ Date/ Name
Aug 17, 2025Porous Convection in the Discrete Exterior Calculus with Geometric MultigridJan 23, 2026A Categorical Approach to Semantic Interoperability across Building LifecycleOct 9, 2025Presheaves on lax double functors; or, Instances of models of double theoriesDec 14, 2012Omitting types and AF algebrasOct 27, 2025Comparing loose bimodules and double barrels using pseudo-models of enhanced sketchesNov 11, 2024Flight Demonstration and Model Validation of a Prototype Variable-Altitude Venus AerobotJan 18, 2024The diagrammatic presentation of equations in categoriesDec 21, 2016On the $\infty$-categorical Whitehead theorem and the embedding of quasicategories in prederivatorsFeb 13, 2018On Whitehead's theorem beyond pointed connected spaces