<div dir="ltr">Hi Vit,<div><br></div><div>Thanks for the email; I'm glad you're using this tool and finding it a nice way to get acquainted with category theory. </div><div><br></div><div>Your first question is a bit easier. The high-level answer is that "the limit of an empty diagram is the terminal object". Basically since nothing is hitting a3 or a4, the sets that Pi puts there are empty products, i.e. terminal objects in Set. The terminal object in Set is the set with one element. You can see this issue as a kind of generalization of the fact that 5^0=1 because 5^0 is an empty product (multiply 5*5*5...&5, but do it 0 times) and the answer is 1.</div>
<div><br></div><div>Your second question is more involved. To answer your first question we will try to write an FQL file that does this example and send it to you (and the list) soon. As to your second question, given a schema S=[A B] consisting of just two nodes, A and B, one can make a new schema T=[A <--X --->B] with an additional object and two additional arrows. Then one can create a functor F: S-->T. The query pi F will put the product into X with the foreign keys you want. See the attached FQL file.</div>
<div><br></div><div>Best regards,</div><div>David</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Jul 1, 2014 at 5:28 AM, Koksa, Vit <span dir="ltr"><<a href="mailto:Vit.Koksa@honeywell.com" target="_blank">Vit.Koksa@honeywell.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div lang="EN-US" link="blue" vlink="purple">
<div>
<p class="MsoNormal">Hello,<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">Is there any discussion forum on FQL available, please? I didn’t find any, so I resort to send my e-mail to this mailing list. The FQL IDE is a very interesting and user-friendly tool, it enables even people without a deep mathematical
background like me to play with categories. But I don’t see things, which would be obvious to the more knowledgeable people.<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">The questions which I have currently in mind are:<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">1. The FQL sample code “Query Composition” contains the query q1: S -> T . To see how the data migration proceeds inside this query I added these two instances:<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">instance Delta_sm = delta sm I<u></u><u></u></p>
<p class="MsoNormal">instance Pi_fm = pi fm Delta_sm<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">What I don’t understand is why both tables a3 and a4 in Pi_fm contain a record, when there is no mapping to these tables of the schema A from the tables of the schema B in the schema mapping fm.<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">2. How would the example given on the slide 45 of <a href="http://categoricaldata.net/fql/introSlides.pdf" target="_blank">
http://categoricaldata.net/fql/introSlides.pdf</a> be encoded in FQL? <u></u><u></u></p>
<p class="MsoNormal">(SELECT title, isbn FROM book WHERE price > 100)<u></u><u></u></p>
<p class="MsoNormal">In particular and more generally I don’t know how to migrate data from nodes {a, b} to nodes {a, b, aXb} where aXb is the product/join of a and b, while “preserving” the foreign keys from aXb elements to their constituent parts in a and
b.<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">With regards.<span><font color="#888888"><u></u><u></u></font></span></p><span><font color="#888888">
<p class="MsoNormal">Vit<u></u><u></u></p>
</font></span></div>
</div>
<br>_______________________________________________<br>
Categoricaldata_announce mailing list<br>
<a href="mailto:Categoricaldata_announce@categoricaldata.net" target="_blank">Categoricaldata_announce@categoricaldata.net</a><br>
<a href="https://lists.hcoop.net/listinfo/categoricaldata_announce" target="_blank">https://lists.hcoop.net/listinfo/categoricaldata_announce</a><br>
<br></blockquote></div><br></div></div>