ফাংশনাল প্রোগ্রামিং এ মানাডের প্রচলিত সংজ্ঞা, যেটা উপোরক্ত উদাহারণে ব্যবহৃত হয়েছে, সেটি আসলে ক্যাটাগরি থিওরির সাধারণ সংজ্ঞার তুলনায় ক্লেইসি ত্রৈধ হতে উৎপন্ন হয়েছে। এই দুটি গঠন গাণিতিকভাবে সমতুল্য বলে প্রমাণিত হয়েছে, কারণ উভয় সংজ্ঞাই একটি বৈধ মানাড প্রদান করবে। যদি আমাদের নিকট কোন সুসংজ্ঞায়িত সাধারণ টাইপ ও থাকে, তাহলে একটি মানাড তিনটি অংশ নিয়ে গঠিত বলা যায়:


তারপরও সম্পূর্ণভাবে মানাড হিসেবে পরিগণিত হতে উপরোক্ত তিনটি অংশের কিছু সূত্র মেনে চলতে হবে:


বীজগাণিতিকভাবে, এর অর্থ হচ্ছে, যে কোন মানাড দুটি জিনিসের জন্ম দেয়। মানাড একটি ক্যাটাগরির সূচনা করে (যাকে বলে ক্লেইসি ক্যাটাগরি) এবং, ফাঙ্কটর এর ক্যাটাগরির মাঝে একটি (মান হতে গণনা পর্যন্ত) এর সূচনা করে, যেটি একটি দ্বিমিক চালক(অপারেটর) ও (একক) এর সাহায্যে মানাডিয়ভাবে গঠিত হয়।

প্রকারভেদ
সংজ্ঞা
সংগ্রহ (কালেকশন)
ফাঙ্কটর থেকে উৎপাদন