Patrick Schultz

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Dynamical Systems and Sheaves	2019	Patrick Schultz David I. Spivak Christina Vasilakopoulou
+	Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior	2019	Patrick Schultz David I. Spivak
+ PDF Chat	String diagrams for traced and compact categories are oriented 1-cobordisms	2017	David I. Spivak Patrick Schultz Dylan Rupel
+	Algebraic Model Management: A Survey	2017	Patrick Schultz David I. Spivak Ryan Wisnesky
+ PDF Chat	Algebraic data integration	2017	Patrick Schultz Ryan Wisnesky
+	Dynamical Systems and Sheaves	2016	Patrick Schultz David I. Spivak Christina Vasilakopoulou
+	Algebraic Databases	2016	Patrick Schultz David I. Spivak Christina Vasilakopoulou Ryan Wisnesky
+	QINL: Query-integrated Languages.	2015	Patrick Schultz David I. Spivak Ryan Wisnesky
+	A Purely Equational Formalism for Functorial Data Migration.	2015	David I. Spivak Patrick Schultz Ryan Wisnesky
+	Algebraic Data Integration	2015	Patrick Schultz Ryan Wisnesky
+	An Equational Formalism and Design Pattern for Functorial Data Integration	2015	Patrick Schultz Ryan Wisnesky
+	Functorial Data Migration: From Theory to Practice	2015	Ryan Wisnesky David I. Spivak Patrick Schultz Eswaran Subrahmanian
+	Regular and exact (virtual) double categories	2015	Patrick Schultz
+	Functorial Data Migration: From Theory to Practice	2015	Ryan Wisnesky David I. Spivak Patrick Schultz Eswaran Subrahmanian
+	Algebraic Weak Factorization Systems in Double Categories	2014	Patrick Schultz

Common Coauthors

Coauthor	Papers Together
David I. Spivak	10
Ryan Wisnesky	9
Christina Vasilakopoulou	3
Eswaran Subrahmanian	2
Dylan Rupel	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	Functorial data migration	2012	David I. Spivak	8
+	A database of categories	2003	Michael W. Fleming Ryan Gunther Robert Rosebrugh	7
+ PDF Chat	Relational foundations for functorial data migration	2015	David I. Spivak Ryan Wisnesky	4
+ PDF Chat	Higher Operads, Higher Categories	2004	Tom Leinster	4
+	Framed bicategories and monoidal fibrations	2007	Michael Shulman	3
+	The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes	2013	Dylan Rupel David I. Spivak	3
+	Traced monoidal categories	1996	André Joyal Ross Street Dominic Verity	3
+	Braided Tensor Categories	1993	André Joyal Ross Street	3
+ PDF Chat	Monads with arities and their associated theories	2012	Clemens Berger Paul-André Melliès Mark Weber	2
+	Unique factorisation lifting functors and categories of linearly-controlled processes	2000	Marta Bunge Marcelo Fiore	2
+	Relational Foundations For Functorial Data Migration	2012	David I. Spivak Ryan Wisnesky	2
+	ALGEBRAS OF OPEN DYNAMICAL SYSTEMS ON THE OPERAD OF WIRING DIAGRAMS	2015	Dmitry Vagner David I. Spivak Eugene Lerman	2
+	A note on discrete Conduché fibrations.	1999	Peter Johnstone	2
+ PDF Chat	Polynomial Functors and Trees	2010	J.L.F. Kock	2
+	Familial 2-functors and parametric right adjoints	2007	Mark Weber	2
+	Simple Word Problems in Universal Algebras	1983	Donald E. Knuth PETER B. BENDIX	2
+	Monads in double categories	2010	Thomas M. Fiore Nicola Gambino Joachim Kock	2
+	Monoidal Bicategories and Hopf Algebroids	1997	Brian Day Ross Street	2
+ PDF Chat	Database queries and constraints via lifting problems	2013	David I. Spivak	2
+ PDF Chat	Nuclear and trace ideals in tensored ∗-categories	1999	Samson Abramsky Richard Blute Prakash Panangaden	2
+	Computing left Kan extensions	2003	Michael R. Bush M. Leeming R. F. C. Walters	2
+	Enriched categories as a free cocompletion	2015	Richard Garner Michael Shulman	2
+	The Algebra of Open and Interconnected Systems	2016	Brendan Fong	2
+	Regular and exact (virtual) double categories	2015	Patrick Schultz	2
+ PDF Chat	Expressive Completeness for Metric Temporal Logic	2013	Paul Hunter Joël Ouaknine James Worrell	1
+	Two-dimensional monadicity	2013	John Bourke	1
+	Six model structures for DG-modules over DGAs: Model category theory in homological action	2013	Tobias Barthel Emily Riehl	1
+	Homotopy-theoretic aspects of 2-monads	2007	Stephen Lack	1
+	Modular correspondence between dependent type theories and categories including pretopoi and topoi	2005	Maria Emilia Maietti	1
+ PDF Chat	Categories for the Working Mathematician	1971	Saunders Mac Lane	1
+	Normalized Rewriting: an Alternative to Rewriting modulo a Set of Equations	1996	Claude Marché	1
+	A Cellular Nerve for Higher Categories	2002	Clemens Berger	1
+	Monads for which structures are adjoint to units	1995	Anders Kock	1
+ PDF Chat	Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories	2005	Samson Abramsky	1
+	A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories	2009	Masahito Hasegawa Shin-ya Katsumata	1
+	Feynman Graphs, and Nerve Theorem for Compact Symmetric Multicategories (Extended Abstract)	2011	André Joyal Joachim Kock	1
+ PDF Chat	Understanding the Small Object Argument	2008	Richard Garner	1
+	Adjoint for double categories	2004	Marco Grandis Robert Paré	1
+ PDF Chat	String diagrams for traced and compact categories are oriented 1-cobordisms	2017	David I. Spivak Patrick Schultz Dylan Rupel	1
+	<i>Algebraic theories</i> (Cambridge Tracts in Mathematics 184)	2012	Mike Prest	1
+	Recent Trends in Algebraic Development Techniques	2012	Till Mossakowski Hans‐Jörg Kreowski	1
+	Morphisms of open games	2017	Jules Hedges	1
+	Algebraic Model Management: A Survey	2017	Patrick Schultz David I. Spivak Ryan Wisnesky	1
+	Monoidal Grothendieck construction	2018	Joe Moeller Christina Vasilakopoulou	1
+	A UNIFIED FRAMEWORK FOR GENERALIZED MULTICATEGORIES	2010	G. S. H. Cruttwell Michael Shulman	1
+ PDF Chat	Natural models of homotopy type theory	2016	Steve Awodey	1
+ PDF Chat	Algebraic data integration	2017	Patrick Schultz Ryan Wisnesky	1
+ PDF Chat	Dyck Algebras, Interval Temporal Logic, and Posets of Intervals	2016	Luca Ferrari	1
+	Algebraic model structures	2011	Emily Riehl	1
+ PDF Chat	On the Category of Props	2014	Philip Hackney Marcy Robertson	1