Misplaced Pages

The following pages link to André Joyal

• (link count
• transclusion count
• sorted list) · See help page for transcluding these entries

Showing 48 items.

• Functor (links | edit)
• Universal property (links | edit)
• Combinatorial species (links | edit)
• Monoidal category (links | edit)
• Outline of category theory (links | edit)
• Duality (mathematics) (links | edit)
• Joyal (links | edit)
• Combinatorial proof (links | edit)
• Kripke semantics (links | edit)
• Symbolic method (combinatorics) (links | edit)
• Cayley's formula (links | edit)
• Braided monoidal category (links | edit)
• Glossary of category theory (links | edit)
• String diagram (links | edit)
• Higher category theory (links | edit)
• Dual object (links | edit)
• Witt vector (links | edit)
• Symposium on Logic in Computer Science (links | edit)
• Zipper (data structure) (links | edit)
• Traced monoidal category (links | edit)
• A. Joyal (redirect page) (links | edit)
• Andre Joyal (redirect page) (links | edit)
  • Noncommutative logic (links | edit)
  • Categorical quantum mechanics (links | edit)
• Center (category theory) (links | edit)
• Pseudoforest (links | edit)
• Jeffery–Williams Prize (links | edit)
• Timeline of category theory and related mathematics (links | edit)
• Tadao Tannaka (links | edit)
• Timeline of manifolds (links | edit)
• Ieke Moerdijk (links | edit)
• Jacob Lurie (links | edit)
• Quasi-category (links | edit)
• Homotopy type theory (links | edit)
• Myles Tierney (links | edit)
• Nonabelian algebraic topology (links | edit)
• Mac Lane coherence theorem (links | edit)
• Olivia Caramello (links | edit)
• Strictification (links | edit)
• Talk:André Joyal (transclusion) (links | edit)
• Talk:Homotopy type theory/Archive 1 (links | edit)
• User:Mathbot/Mathematicians missing photo (links | edit)
• User:Quinnranicki/Sandbox (links | edit)
• User:VeblenBot/List of mathematical logic articles (links | edit)
• User:Tony Sidaway/Living people/tranche 043 (links | edit)
• User:Michael Shulman/draft Homotopy Type Theory and Univalent Foundations (links | edit)
• User:Hannes Röst/RSC Members (links | edit)
• Misplaced Pages:WikiProject Mathematics/List of mathematicians (J) (links | edit)
• Misplaced Pages:Articles for deletion/Andrej Bauer (2nd nomination) (links | edit)
• Misplaced Pages:Articles for deletion/Log/2016 September 9 (links | edit)