11 citations · 18 across the 3 of their papers we have counts for
3 papers
math.CT2017★ 11 cited
Temporal Type Theory: A topos-theoretic approach to systems and behavior
Patrick Schultz, David I. Spivak
This book introduces a temporal type theory, the first of its kind as far as we know. It is based on a standard core, and as such it can be formalized in a proof assistant such as…
math.CT2015★ 4 cited
Regular and exact (virtual) double categories
Patrick Schultz
We propose definitions of regular and exact (virtual) double categories, proving a number of results which parallel many basic results in the theory of regular and exact categories…
cs.DB2015★ 3 cited
Functorial Data Migration: From Theory to Practice
Ryan Wisnesky, David I. Spivak, Patrick Schultz +1
In this paper we describe a functorial data migration scenario about the manufacturing service capability of a distributed supply chain. The scenario is a category-theoretic analog…