Conjecture 1. The categories Fcd and Rld are complete and co-complete (actually 4 conjectures). I have not yet spend much time trying to solve this conjecture, it may be probably easy.

Conjecture 2. The categories Fcd and Rld are cartesian closed (actually two conjectures).

Leave a Reply

Your email address will not be published. Required fields are marked *