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

এটি সর্বদা কোন গুরুত্বপূর্ণ সমস্যা হয়ে দাড়ায় না, বিশেষত যদি পূর্বে-বিদ্যমান কোন ফাঙ্কটর থেকে মানাড উৎপাদন করা হয়, সেক্ষেত্রে মানাড স্বয়ংক্রিয়ভাবে উত্তরাধিকার সূত্রে লাভ করে। (ঐতিহাসিক কারণে হাস্কেলে, এই codice_56 কে codice_57 বলা হয়।)

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

আরেকটি উদাহরণ: তালিকা (লিস্ট)
ফাঙ্কটর থেকে উৎপাদন
লেখক মানাড ‌(জাভাস্ক্রিপ্ট)
চালক (অপারেটর)