---

%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 (Paul Wilson) /Creator (arXiv GenPDF \(tex2pdf:a6404ea\)) /DOI (https://doi.org/10.48550/arXiv.2604.08331) /License (http://creativecommons.org/licenses/by-nc-sa/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 (Metacat: a categorical framework for formal systems) /Trapped /False /arXivID (https://arxiv.org/abs/2604.08331v1) >> endobj 3 0 obj << /Subtype /XML /Type /Metadata /Length 1579 >> 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 6 /First 10 0 R /Last 11 0 R /Type /Outlines >> endobj 7 0 obj << /Count 11 /Kids [ 12 0 R 13 0 R ] /Type /Pages >> endobj 8 0 obj << /Kids [ 14 0 R 15 0 R ] /Limits [ (Doc-Start) (subsection.4.3) ] >> endobj 9 0 obj << /Annots [ 16 0 R 17 0 R 18 0 R ] /Contents [ 19 0 R 20 0 R 21 0 R 22 0 R ] /Group 23 0 R /MediaBox [ 0 0 612 792 ] /Parent 12 0 R /Resources 24 0 R /Type /Page >> endobj 10 0 obj << /A 25 0 R /Count -2 /First 26 0 R /Last 27 0 R /Next 28 0 R /Parent 6 0 R /Title 29 0 R >> endobj 11 0 obj << /A 30 0 R /Parent 6 0 R /Prev 31 0 R /Title 32 0 R >> endobj 12 0 obj << /Count 6 /Kids [ 9 0 R 33 0 R 34 0 R 35 0 R 36 0 R 37 0 R ] /Parent 7 0 R /Type /Pages >> endobj 13 0 obj << /Count 5 /Kids [ 38 0 R 39 0 R 40 0 R 41 0 R 42 0 R ] /Parent 7 0 R /Type /Pages >> endobj 14 0 obj << /Kids [ 43 0 R 44 0 R 45 0 R 46 0 R 47 0 R 48 0 R ] /Limits [ (Doc-Start) (page.7) ] >> endobj 15 0 obj << /Kids [ 49 0 R 50 0 R 51 0 R 52 0 R ] /Limits [ (page.8) (subsection.4.3) ] >> endobj 16 0 obj << /A << /S /URI /Type /Action /URI (https://creativecommons.org) >> /Border [ 0 0 1 ] /C [ 0 1 1 ] /H /I /Rect [ 385.633 48.682 456.755 61.634 ] /Subtype /Link /Type /Annot >> endobj 17 0 obj << /A << /S /URI /Type /Action /URI (https://creativecommons.org/licenses/by/4.0/) >> /Border [ 0 0 1 ] /C [ 0 1 1 ] /H /I /Rect [ 457.004 48.682 498.673 61.634 ] /Subtype /Link /Type /Annot >> endobj 18 0 obj << /A << /S /URI /URI (https://arxiv.org/abs/2604.08331v1) >> /BS << /W 0 >> /NM (fitz-L0) /Rect [ 12 215.46002 32 576.54 ] /Subtype /Link >> endobj 19 0 obj << /Length 10 /Filter /FlateDecode >> stream x�+��| endstream endobj 20 0 obj << /Filter /FlateDecode /Length 2088 >> stream xڝX[�۶~?�B}�f,ob�׭[g�������L! GB͋B����P"u(����b�X�������?���_�y-�b���

---