No jo, ale když haskellisti chtějí stavět na CT, tak nemůžou říct, že morfismy jsou jen rozhodnutelné funkce, protože když se dá nějaká RF rozložit na RF a narozhodnutelnou, tak v té kategorii pak jeden morfismus citelně chybí.
Tak ja to undefined beru jen jako takovou obezlicku, jak nechat program validne zkompilovat, kdyz mam rozepsany jen jeho kus.
Ale to co rikas se mi stejne moc nezda. Proc bychom nemohli uvazovat jen kategorii typu s RF? Ano, nebudou to vsechny funkce, ktere lze v Haskellu zapsat, ale jen ty totalni, ale to snad v praxi staci. Ze jde nejaka totalni rozlozit na parcialni nas pak prece nemusi trapit, to tu kategoricnost neohrozi.