Source author record

Jack Carlisle

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AT math.CT math.KT Programming Languages

Catalog footprint

Research overview

2works

4topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Categorical Foundations for CuTe Layouts

NVIDIA's CUTLASS library provides a robust and expressive set of methods for describing and manipulating multi-dimensional tensor data on the GPU. These methods are conceptually grounded in the abstract notion of a CuTe layout and a rich algebra of such layouts, including operations such as composition, logical product, and logical division. In this paper, we present a categorical framework for understanding this layout algebra by focusing on a naturally occurring class of tractable layouts. To this end, we define two categories Tuple and Nest whose morphisms give rise to layouts. We define a suite of operations on morphisms in these categories and prove their compatibility with the corresponding layout operations. Moreover, we give a complete characterization of the layouts which arise from our construction. Finally, we provide a Python implementation of our categorical constructions, along with tests that demonstrate alignment with CUTLASS behavior. This implementation can be found at our git repository https://github.com/ColfaxResearch/layout-categories.

preprint2022arXiv

Complex cobordism with involutions and geometric orientations

We calculate the cobordism ring $Ω^{C_2}_*$ of stably almost complex manifolds with involution, and investigate the $C_2$ -spectrum $Ω_{C_2}$ which represents it. We introduce the notion of a geometrically oriented $C_2$ -spectrum, which extends the notion of a complex oriented $C_2$ -spectrum, and of which $Ω_{C_2}$ is the universal example. Examples, in addition to $Ω_{C_2}$ , include the Eilenberg-Maclane spectrum $H \underline{\mathbb{Z}}_{C_2}$ and the connective cover $k_{C_2}$ of $C_2$ -equivariant $K$ -theory. On the algebraic side, we define and study filtered $C_2$ -equivariant formal group laws, which are the algebraic structures determined by geometrically oriented $C_2$ -spectra. We prove some of the fundamental properties of filtered $C_2$ -equivariant formal group laws, as well as a universality statement for the filtered $C_2$ -equivariant formal group law determined by $Ω_{C_2}$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.