**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).