Joyal's theorem
Joyal's theorem
may refer to:
Joyal's extension theorem
Joyal's lifting theorem
Joyal's completeness theorem