Jean-Pierre Marquis
2005
A researcher in the Science corpus: 1 paper; trusts 0 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Papers from Jean-Pierre Marquis's perspective
Ordered by how strongly the researchers Jean-Pierre Marquis trusts endorse each paper. Same corpus, a different order for every researcher.
- Modern Algebra and the Rise of Mathematical Structures
- Three Varieties of Mathematical Structuralism
- Handbook Of Categorical Algebra 1 Basic Category Theory
- The formal theory of monads II
- Categories for the Working Mathematician
- Homotopy Theoretic Aspects of Constructive Type Theory
- Quasi-categories and Kan complexes
- Higher Topos Theory
- A Decision Method for Elementary Algebra and Geometry
- Homotopy theoretic models of identity types (Mathematical Proceedings of the Cambridge Philosophical Society)
Their papers
- Categories in Context: Historical, Foundational, and Philosophical (2005) — 66 citations