אובייקט חופשי
ויקיפדיה האנציקלופדיה encyclopedia
במתמטיקה ובפרט בתורת הקטגוריות, אובייקט חופשי הוא מונח כללי לאובייקט שנוצר מאיברים כלשהם באופן "חופשי", כלומר מבלי שהם מקיימים יחסי גומלין כלשהם (מלבד ההכרחיים). נהוג גם לומר שהוא האובייקט ה"כללי ביותר" שנוצר מהם. למונח יש גם משמעות מדויקת בתורת הקטגוריות.
אובייקטים רבים הם חופשיים, למשל: מרחב וקטורי, חבורה חופשית וטופולוגיה דיסקרטית.