Martin Hyland

Mathematical Physics · 2000–2016

A researcher in the Science corpus: 3 papers; trusts 1 researcher and is trusted by 3 researchers here, as inferred from the citation graph.

Subfields

• Mathematical Physics — 9 citations into it; #5,453 of 8,562 by trust here, #6,178 by citations
• Geometry and Topology — 8 citations into it; #4,604 of 7,422 by trust here, #5,351 by citations
• Algebra and Number Theory — 5 citations into it; #1,687 of 2,864 by trust here, #1,879 by citations

Whom Martin Hyland trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Stephen Lack
2. Marcelo P. Fiore

Who trusts Martin Hyland overall

1. Bertrand J. Guillou
2. Jon P. May
3. Ignacio López Franco
4. Richard Garner
5. D. Gepner

Papers from Martin Hyland's perspective

Ordered by how strongly the researchers Martin Hyland trusts endorse each paper. Same corpus, a different order for every researcher.

1. Homotopy-theoretic aspects of 2-monads
2. Abstract syntax and variable binding
3. Pseudo-commutative monads and pseudo-closed 2-categories
4. Limits of small functors
5. A 2-Categories Companion
6. ∞-Categories for the Working Mathematician
7. Second-Order and Dependently-Sorted Abstract Syntax
8. BASIC CONCEPTS OF ENRICHED CATEGORY THEORY (Elements of ∞-Category Theory)
9. The monoidal Eilenberg–Moore construction and bialgebroids
10. Monads on tensor categories

Their papers

• Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures (2016) — 50 citations
• Pseudo-commutative monads and pseudo-closed 2-categories (2002) — 68 citations
• On Full Abstraction for PCF: I, II, and III (2000) — 630 citations