Michael Shulman - PDFSEARCH.IO - Document Search Engine

Michael Shulman
Results: 16

#	Item
1	Emily Riehl Johns Hopkins University The synthetic theory of ∞-categories vs the synthetic theory of ∞-categories joint with Dominic Verity and Michael Shulman Add to Reading List Source URL: www.math.jhu.edu Language: English - Date: 2018-03-01 14:57:05
2	Modalities in homotopy type theory Egbert Rijke∗ Michael Shulman∗ Bas Spitters† Add to Reading List Source URL: hott-uf.github.io - Date: 2018-03-28 14:04:14
3	THE ADDITIVITY OF TRACES IN MONOIDAL DERIVATORS MORITZ GROTH, KATE PONTO AND MICHAEL SHULMAN Abstract. We develop the theory of monoidal structures on derivators, culminating in a proof that generalized trace maps in a c Add to Reading List Source URL: www.math.ru.nl Language: English - Date: 2012-12-14 04:12:03
4	Category theory in the Univalent Foundations Benedikt Ahrens joint work with Krzysztof Kapulkin and Michael Shulman Séminaire LDP, I2M, Marseille Add to Reading List Source URL: benedikt-ahrens.de Language: English - Date: 2014-03-18 05:32:38
5	THE ADDITIVITY OF TRACES IN MONOIDAL DERIVATORS MORITZ GROTH, KATE PONTO AND MICHAEL SHULMAN Abstract. Motivated by traces of matrices and Euler characteristics of topological spaces, we expect abstract traces in a symme Add to Reading List Source URL: www.math.ru.nl Language: English - Date: 2013-07-15 08:41:57
6	Homology, Homotopy and Applications, vol. ?(?), 2013, pp.1–31 MAYER-VIETORIS SEQUENCES IN STABLE DERIVATORS MORITZ GROTH, KATE PONTO and MICHAEL SHULMAN (communicated by ?) Abstract Add to Reading List Source URL: www.math.ru.nl Language: English - Date: 2014-01-07 10:58:56
7	Univalent categories and the Rezk completion Benedikt Ahrens joint work with Krzysztof Kapulkin and Michael Shulman Institut de Recherche en Informatique de Toulouse Université Paul Sabatier Add to Reading List Source URL: benedikt-ahrens.de Language: English - Date: 2013-11-26 16:54:57
8	Univalent categories and the Rezk completion Benedikt Ahrens joint work with Krzysztof Kapulkin and Michael Shulman Institut de Recherche en Informatique de Toulouse Add to Reading List Source URL: benedikt-ahrens.de Language: English - Date: 2013-12-12 15:06:11
9	Michael Shulman University of San Diego Homotopy type theory: towards Grothendieck’s dream Several decades ago, Grothendieck proposed that “∞-groupoids” could replace topological spaces as a context for homotopy Add to Reading List Source URL: web.science.mq.edu.au Language: English - Date: 2013-06-21 05:36:37
10	2014 IEEE Security and Privacy Workshops Towards Forensic Analysis of Attacks with DNSSEC Haya Shulman and Michael Waidner Fachbereich Informatik Technische Universit¨at Darmstadt Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2014-04-30 03:11:51

UPDATE