Voozh

%PDF-1.7 %�� 1 0 obj << /Metadata 3 0 R /Names 4 0 R /OpenAction 5 0 R /Outlines 6 0 R /PageMode /UseOutlines /Pages 7 0 R /Type /Catalog >> endobj 2 0 obj << /Author (Fernando Zhapa-Camacho; Robert Hoehndorf) /Creator (arXiv GenPDF \(tex2pdf:a6404ea\)) /DOI (https://doi.org/10.48550/arXiv.2606.17851) /License (http://creativecommons.org/licenses/by/4.0/) /PTEX.Fullbanner (This is pdfTeX, Version 3.141592653-2.6-1.40.28 \(TeX Live 2025\) kpathsea version 6.4.1) /Producer (pikepdf 8.15.1) /Title (A homotopy-type-theoretic generalization of neurosymbolic inference) /Trapped /False /arXivID (https://arxiv.org/abs/2606.17851v1) >> endobj 3 0 obj << /Subtype /XML /Type /Metadata /Length 1631 >> stream endstream endobj 4 0 obj << /Dests 8 0 R >> endobj 5 0 obj << /D [ 9 0 R /Fit ] /S /GoTo >> endobj 6 0 obj << /Count 11 /First 10 0 R /Last 11 0 R /Type /Outlines >> endobj 7 0 obj << /Count 17 /Kids [ 12 0 R 13 0 R 14 0 R ] /Type /Pages >> endobj 8 0 obj << /Kids [ 15 0 R 16 0 R 17 0 R ] /Limits [ (Doc-Start) (table.2) ] >> endobj 9 0 obj << /Annots [ 18 0 R 19 0 R 20 0 R 21 0 R 22 0 R 23 0 R ] /Contents [ 24 0 R 25 0 R 26 0 R 27 0 R ] /MediaBox [ 0 0 612 792 ] /Parent 12 0 R /Resources 28 0 R /Type /Page >> endobj 10 0 obj << /A 29 0 R /Next 30 0 R /Parent 6 0 R /Title 31 0 R >> endobj 11 0 obj << /A 32 0 R /Parent 6 0 R /Prev 33 0 R /Title 34 0 R >> endobj 12 0 obj << /Count 6 /Kids [ 9 0 R 35 0 R 36 0 R 37 0 R 38 0 R 39 0 R ] /Parent 7 0 R /Type /Pages >> endobj 13 0 obj << /Count 6 /Kids [ 40 0 R 41 0 R 42 0 R 43 0 R 44 0 R 45 0 R ] /Parent 7 0 R /Type /Pages >> endobj 14 0 obj << /Count 5 /Kids [ 46 0 R 47 0 R 48 0 R 49 0 R 50 0 R ] /Parent 7 0 R /Type /Pages >> endobj 15 0 obj << /Kids [ 51 0 R 52 0 R 53 0 R 54 0 R 55 0 R 56 0 R ] /Limits [ (Doc-Start) (page.11) ] >> endobj 16 0 obj << /Kids [ 57 0 R 58 0 R 59 0 R 60 0 R 61 0 R 62 0 R ] /Limits [ (page.12) (section.0.A) ] >> endobj 17 0 obj << /Kids [ 63 0 R 64 0 R 65 0 R 66 0 R ] /Limits [ (section.0.B) (table.2) ] >> endobj 18 0 obj << /A << /S /URI /Type /Action /URI (https://github.com/bio-ontology-research-group/hott-nesy) >> /Border [ 0 0 0 ] /C [ 0 1 1 ] /H /I /Rect [ 162.063 278.219 458.947 289.344 ] /Subtype /Link /Type /Annot >> endobj 19 0 obj << /A << /D (cite.desmet2025defining) /S /GoTo >> /Border [ 0 0 0 ] /C [ 0 1 0 ] /H /I /Rect [ 320.028 198.594 437.589 211.495 ] /Subtype /Link /Type /Annot >> endobj 20 0 obj << /A << /D (cite.desmet2025defining) /S /GoTo >> /Border [ 0 0 0 ] /C [ 0 1 0 ] /H /I /Rect [ 443.314 198.594 467.125 211.495 ] /Subtype /Link /Type /Annot >> endobj 21 0 obj << /A << /D (cite.kimmig2017algebraic) /S /GoTo >> /Border [ 0 0 0 ] /C [ 0 1 0 ] /H /I /Rect [ 482.822 85.415 522.996 98.316 ] /Subtype /Link /Type /Annot >> endobj 22 0 obj << /A << /D (cite.kimmig2017algebraic) /S /GoTo >> /Border [ 0 0 0 ] /C [ 0 1 0 ] /H /I /Rect [ 89.004 56.262 522.996 66.223 ] /Subtype /Link /Type /Annot >> endobj 23 0 obj << /A << /S /URI /URI (https://arxiv.org/abs/2606.17851v1) >> /BS << /W 0 >> /NM (fitz-L0) /Rect [ 12 226.02002 32 565.98 ] /Subtype /Link >> endobj 24 0 obj << /Length 10 /Filter /FlateDecode >> stream x�+��| endstream endobj 25 0 obj << /Filter /FlateDecode /Length 2962 >> stream x��ۮܶ��_�}I�@V�H]h��Ij8|N v��H\��.[]l��s!��M\�/��s�`Sm��wO��܄�/�Dl��<�S�n�<��4�ܗ�7�7۝Lc��~�[z��D�@BO�Z��L��IM��x��Џ��?��}��&L3?I��.L�\ fn��tWhDi�M�y��(�.�@�<�_vˋm�xz�TW��!��/�:��3ժ�.�pK0��~��i�a�� HBH��y�|]��,��^�~�,س�=̓��4��7z�8� ��X�cX��Ŷ � x��>pE��w�鈤LW1�[�ތp��K��VE7��ۨ�A?u�vt)WG�td�x��=�J��m�z|ĺ�G�� A�h/A��K� �,�}=P N��Ssi΄H+F} ��H��<��Aؕ�<��r�㟎!��R�U��k�k�� ^��q�5//'��]c-�Xg�w�H�r��o~X�

URL: https://arxiv.org/pdf/2606.17851

⇱