Fixed points in category theory
This document is encrypted
Decrypting…
{"salt": "ajhzPCXsQ773ZHI97L8nojCQO1yIHMR75Js_v6A3LfE=", "iv": "MVI1bUoVumgDfbtQ", "ct": "JiMU1FrCovV9qwSTtvDtltYSWSfVySkxgV8mM9E-j7TTxMQOeQNX4M5tubuIg43tbxolp-7lLPhitbxThvV7CRovTEr42QHfGqtOS_5mUiL1mBLuhgXm1Sez2g7MLqcVGNMIpHTKV2mBY_mmFDWwiP2BQleknHS_MN8oaCaOP6EZRmOcXYjVhTUtArdhve3kScEWdFgiftIM38ht8IZ9jP-W-HG9zxlxK_XX9_TbOXBh50oapHVbBTtvxgxF3cjxugUEpv3a0of4VAulxK4ts7YXRfdyDQi90fKJTXv7YDPKeYbFY0Mopeu41fJJRJX-jhOdVFLwW05HsQVGlyZqqkNc3SA-C_OlUxEu0b5U5XK-ABidqbjRWB-pWt8a40eL6LpAfnOSc62S3GKi6NVv1vuURukVkOuPO5zVNoal_yRWB5YJtNyfCTvh3ngEn9sMPhbu6oLkIgRgFxG5BKF5fe9YJuaJnWVQLyme_tDAil_jRefW1y8dRvFJfKIITaqopSunsrij5O-5c5iwzvkyzTe9fLRkjKD-slumO2GaOfetAtPoxNdT-4WQD8EV0rd7j8KyqUNeTqAOkzu4OmJCwxRgdmWgDefBMu45DJx3hADGLG0lZqi5TzjsUPEO1U0BGgIUEsGc7T9bThnqp0QzQgap9pM2-cZKh7CCqIFFVlkmQCg85pkQXDC1g-c-XkNcO_1PcexQfGj3sussosLHJwPG9bGkHSTOUjTWOxXtuitVQ7V5b4UlQERgohDgRl8nQyqZiALGwoqXmNw1HSg6eMtFL3P50Li_7lvWeAgQgcNJQQHqBDm0kEeRBOm3mQedirxMr9_k1vi5KfFZQbXIQ0HX0UQ152cZEe7nCydEtVyKfzwrZHZPzIXYFcOh7-0Oam8lLSpHLR-A3AX86s51304dGpIMl3o79-YOTEaQc0GF_-2h30tHCwevy8umiA68BB36-bRuIlVmvf0gVB_3QVJcIEu5kPEyLGUaPZTtBMAay7nzR2UqkSDhPEHGdStItsceGh0CHHfXgtgI9fD-tes7rAF-qV0DXgUic029dse8y8vBrnUkyoKqz2VXZWNtiaZ2m2VkXzfjU1jetDgFyvjErFjC95aOGNGYo3jATEjASDs03h2cm5SfEv7bt614RamEmaXf3qwVQiZ3HHWAX0NcUHB4lzYlV2Z031qieBpvizm58DtGwsZ_t8D646TXNlfX7211YGlJZwJzb7tcub2NUmjjBq2vi25hUkNE_gF9Vo2EL79hubf-T7UUw2pwtSH3DWgIkPyZHutHEmGCWSNVk-N_MtEjibVxpOowg8ac40jk_TKDavsnGp-0h0HoB-i7qJGOl_mVsVGFfp1FVJ2Gjc3rv_GFsO5cG0h3tJ85SbrR5Ub-s1IpUn-W-SJx_WiVEl0r89LOHl4i_Zoks53asThAReSzkk5yQstSvGJBNf2sUzoie36SeHmLs00LzMj1k8oo3zMAveDUifWv6n7W5u6HgF9KKTH-z-2cwW3WanWD8wjtcwUPqKDO8ypVM7JNbvgcpqIqNml5G3BX5guUkuOyVypfsQS99BZv96t0nufTLK42dWdbel4pipgBDWVwTMtA-RFZNIpEymI03RwvI1B6P8hv53oEmVOfKytet8ulZWk2ieiQ-1pp5cJrL2r3DMBYdyyEJT1vgSBgRzwmBP3IMN9pRWaTheoGX9tY-IZFCFqMQoH61kytE1S7897KMQtd4hilisPZ6K9ClkFzCXRp1R30wEtdKepUdb9M_HUU46H_uhGfcYgr8LneJzg1_XZrT6RUDTAHQII-XWR-NvOy1UwJe6u6uS9ZIHy7kBUwChGQILAug4TKc3CR-n3ZA1ZW6k839eVv4lPs8shCACL0D--df43rro7hqf9gMej3St6syD2D0PSkZHe-1hoXO1MRzV3C8uvXkCFQVIiFRRYKe4IT2imYFHgjZTthPEf8gwsdGdc-qJTvM1DbEU91dN2scF7tKWvijFk2TAtw-lfuKg-AgiMsaeSLQs-im4opMMk82yM1n_ax1JAzNyGpJE2la38eLlHIuVu2mrGP2-pHG-U1D6ut5Ny8ohGPvbKZHjIVuaz7-4evr6xENeAV4Lzd720Jf-V8RAWm2dNaEXLuvvd3mkHGgAoKXYozpPOlufootFcwStQK1RQ8Z7ORGk5HVpiiiu8m5744l2DJ726W1ZBLhtjHXG9kcd9oKTPuArS9umZ0TC4yFlwqCdwT9HgGx01m3Ta_fm2YLqh_viZ5WURl23gsyuQQP0LXgug85lB7lZXZjMRQ-PstjJwCaNmODCVedUiplATfxkgU_iRbOPW83cv4c63WrLfPZnG3xKb1eYSVjU9UZqfF-E7pjLZWM5X2SxApeLpYTLs1g4A_P4xrZVZTWeD5i-mBq4iYuSIsWqq190xZU4OQM4_FC6vJVU5DNry1cD1i4KsDOyB8wwPxKmfNUmjQcghnRZQLIF3Xy8kTDDulhkVKhREHmT1elVNU_aBuEH1S9sxmDoRVPX3VPrv253jX0KA0FbTiZa_XbZdJZC-C5xu6vhRZ_oywU35wWY1-v3RTcBg6GIBD2101QDNOBA11QZ9uP_MGJ2_F8TCrHtDUI5vCGtcQXlUoNbYlW_K9VJQY44xH5QNYyOTilq1HWcy_qtUJV8dd97pfFrIzKuPmCrM0GyQ25MLU9-RQCGrAjLzxbwuwK9TjLDFjDoPtB95D-d-3PQbdIpSSXGg4Kdk6vKaujtYwDvilh4hgi5FSOk0Yafiu1ohtb8m5dzkvgvweri7tt47UvfJoX0ZOvzE1_QoZdbYrb7tZb139HsBsc3E_RAI-x0dMvvr8vfqIuTlEXiYeeEL8dxgBztrGzdVPxbZ-PuNqRAEcoK_uSOkOxbz_U7c3Zyn2-_xr59mnh3_cVB7mGa1_DKLZKKHdpTtilLCv6ugY6s7wWlPPBcQSZF2l-NdLrtzuJiL6VvgnSNDL_Kp573PLGBDAXxKu9koDkl6P8QW0WkSmF5OuDuAVaEkBhAPYvV5Nf2ziDSc-etASUSKjQE8ouPPdJLeJ0R9vhzeOuQbhjABNZKPU9XROd3K6RWuhrwoD2U8IzyemWR9lhgc255jRsCGvr60LlMV1M3EEI3LxlVqHukfBwlKV3xCsVLDyc8ffjRi-MK9duYu4kqD2iLhU9SC7Vr6tMvALK0ptJGk-kU3jauD0-4jPLpYAKj-PM5hv9V2w1SdQAdgxPkHjrtVQ4bmO5JBXglRn6sSfmsJmPMYBpjq3K-siU2UX2XeDTv57KVeIpYetWKRRTRvHiNSHIL_eTxxrsNCncdsvGZcHxhskfR33qfiCzjLSqaTdkGqYZ1Csu8KXwXmsyI8J3TdH5qnDQMVJ1wCpnpVaBsQnA1vhquyf1YD0o0bkUw8BEUxz3S0Im64Gl3CygpHHJ2dNixZczyrCy_IJ5GOJCwSCquBvrlet4A6BAGr3oqyW90LZeiJVVNFZRZpZQFJCpTFkpBnI_G1civcv-GljgwSWxKeV7zUFLhMUvkGgEy42SH_BfqRTcL8i4WEkbPbgFIf6EOil_MFDhnoynISVUF2zM1Hm50QLwS9nz1LhHwSZOih4DZQ6BXJQ_nYTmn7m36EAC4t6CJ0s4uZBs1aXLvEgjx14lceb4T4M7BsKMrtFCkV_b3iqCSdJKNjLnHFgUvWjkIbDe5WQpCPw4UWbQcKnXXlDpoCLx31dXXfstiO-ki-OdfSHxOJCuiZV49wQAp1BYpbYbjBYnc9wHN84l9m9rAW9WusreMKmocNCcPYpLag9E4UgnLC2Qr1GVg-P8vEUHhaL0uZ4KLj2tPpN6eVPXdrLSouOHS7PZ4UYszaoAM4QiHFygnUReKwYiVl-QylKGe_wb9dCO69-oNRl0Vp3uWsu4meaQ8BfRGpf4fASrDSkBdPWgOgFFiON68rq4u6_qfDYJnZ5By56QGmdRK-4SOpc5VCckm96DYbdruycgi6D3wCNz9gmHIPdDy_4yYRGQWS9nKdy5u-0uv5hGuymIFMP1KWosNOV882HQtGfSsJQMwvwQxmOid-5GQ1KWR9yx1EDNUXaVWkJpX7dh1mF5rsk3jWhMYHrD-c9nXhzOdvVtLAuO5sjKIn0MD4G1VlFmFO8TNrVs8C7QX_Psl0J4_74ooXiBKtdOcvKy_YUECEwstoGqDUqlK-DrEauCL3SWfaEb_vbjvht2nMxyMkl2ivbTS-ArB9QZH807bZdvkc5m3uIDLGKYiPnegDwuk940qdqR27XI1PQ4l28nIRrjjHWBHbSNCzD4HV-XNFOsl9eLSiIkrFv3QIFLQiAzYTfCCDVrFS8vfFSBs_ZVLnI3zphA98PA-TQjT9vCYWhY1ZP4onogEF8nXCXgaUYpoSLNlLzpzh0qq96bgLfTZVn2K-cNcWqU2P1wKqYfpyb6PwemWRpBz2UsVkVD8QoMvy9l0p_AX6K2HPKwKIb7nOytnqYScQyPMbv-MuIaIJr9llL3PTDde9ax3CDk0wWO377880WhJ0hlxFXCXqlki3Q6S1iwiRKsqsTz80cLHMqDM6sSJk-OKL_-111sbFJho5sFAAA0Emd0HIcVXQwPv8NAPiZreriNSg2JITleQH-iUJ1yHdNGzrDr2pLjWkHrQAlOPzWwje02Th3sdTyFOGrWYbaj-BJW-XztB9dWMzxGlc2Qol6Kq78mk_SFHR4aWjURJxgzEI4jzxbV-wUmNUZj_ggrEwc9geY35BPe73bZSV7KGElSa4MHiBGwKvDMIapnxPPMoCWxEwuyv30Ljw_DBzqCMUvE2etfTA0h7-l0opxS466a9k1JZSRJkEwWqjV5dcBEvf5LEXYQPzczYyDBC6u158TFHFk4_ODxQFji2rV5aaphtNZVSvMXskT-ewefQcwTbI5337l76YU74NVxDafr0OGW2yfufDHCOQIAwURV3FKgljGr4MN2_jMTX0OrFiYhs2OwZjvl-sKqlV14J7fciBNmYbSvCRdXEmD63X4rHbv-RVSQud7IeU-aKdBaVLHRcjpsfpXyShCH2DniacwtzoB7n99RaQ7RyfvQHyq10k_ivDjFybtqOWy6j0cj_1-IYVPyBIuWgwqoZO0F2BbcKWP9HX9CuVtOOX09N2u_OYkkLkjk_4jr_5tUzTBkzJIoFxZx7RCxoDGGPGDP2Xm044F8xVYHe3cS9GsuhdoAly-L7AUVXt7asik6GnXABDhfilXfE7KNOkYtUEls_DNZLIJQUjfm90F55t2SQ09w-O5yCE6pbR87xAJQK1nlB2S67vCjDS0iwIzEoqGBC7UQQ3AzwjLKaSAGThl7VVdNwS02s8cTJlik8c6ldkDZTkLbLdtTeq0DquiOWLCNorObD3PcPwdVG_dhl7gnob070LKCqZDfMGCcpweH_Y_AclPw67cz1BRNS3pr_23bgTsf0-yIrXgcpy1recMI35gT6qaLxKW7GYyhq1OgFO7UZ1_Y63jM2W_vevl0hLNaEESNta_-nDKt9mD_qssYKuvegG8476iNyQg7XKSR-YUHikQoL4aC9LDLwJbeeoeyExodDx4ikpN9tB04KA-zZNTW7p9NaoGYKMuUH00kCa0D8SOuj9EqfFcY5IqAOx912LkzxYooR2XstnhC0VWLRV0sPsBpgehE_Dxgc0Y2X9ehrdTdCTE2G7V9p-fwbgkItz3mIjBXHXViEn0_h8QXi1MEdkGpo3uORjerb7JJU8gxvhRyIFN7MYI1vj6S25EiNOgByR1NV5FQ_o3wGPZb0BYnDMdYN70V777bxbVMyIo4zNnWVARIh6s39ElJYKTve2XmS26MQLL4QgLbR0JePOr4R9VoZWMwJk-MN_vs58GHckg4ZM_XXq6INu6g6xTWSgCpaAVCcQRJ82zRBZeJMgd7ZqHZEKxHy0-ZTUC2DlK3GRQ-fE9obzINntxn03qYZozhGoMJ4gvrAw_xsi8RorXcdS2d78zrnKx7FFCE1upToAx0ZTPgGOnyChmjq6K-n0HV55hPu4ytSIPPtId8MewArXTEii8MYcsqwsJS7xWQd4Rm6YjK7ujTfX0LQav1zwFoS18zr8Vt-iAu0j0H2g0c8IpcPk6keFQW35Ib80YqVOhsnOGhAxhD6Wvrw4pLk05HVspIf9s5on8Qwp0ZlnZ5r77jfYV-Z_3Ej2atQyTNrBL8YSqsrEmeiYNLWM61f5pxTHTUPzkleAeqizZmpmCTDfKGMgw-7biKpZZ6w24_Y_mX1N57hFaw1we61fRpOSHAjv2oB_-t1ePpZ-WkYMKU5J6odD4EZ3OiCKdIMvhcJVb-StWNjllAwe72_tgcrXMGcLopLdcGK4GP_8Ehw1hX4ImVCc9AOK2tyK1FbDsZrn7OVrx6Ivm2jzJLDcODlWZB6zuIuE5IiND61UBVm9UZdUcZzZjBNSjvochLL15xXLIROJie4YTRe3R3HNG9gB8ibWTXkRBk2nyg_yyDT-x_Wo-GG-jpDR7I5Ob_hxOZI-WhTBcgZp9AxhYYcp6Y48wDC2h_gur5Jor5xyXl9G3oRxL-zEaQfd0-jq4DkCtehzko4pNkR0twj_oupF_F_A5AdQJl4aHCO-wzPubTPnmlw4LFp7xIT2cBYTSMpgJIedHxmsy-SyaX1p7S3jqChNh6GMkq4PJ8qIpHMhWmrPqjLfQBv5pm1IfnlW5Qj2mJIbxeaqpfP-FKwa4JTkUdCPd7--cUjB9i8FbcrruHWshI3XQDR6ZWy5l1LX3B7m-hlnlzzhnMcxvKiztrJienxk23QotjwB-S9HiYA6TvzfpSYDKA_s1L9mFblVryst_yzx5fwmUkXh-3vuGnLIs-NnsENw4FDPByexZRFn2wDf5EA1Tn9t5B_lzjeX2jFgZ-jgI3F-Kfi_evXMjN3yVAFD88-wkEXvY6ii8q3AoIR0PzLktCIR69ENQWSeQvcDOYAplL8FH2fIauzZ27bFR4Yhr9QhwR5zOpzCBj4cmD-ZZVxtYplyQGQRU_jGcb68RHfGmR1nbvtZPrwQXuAdL7V7_OLBr2QypyWf7TiCaCaGiHtMWlWMdgjGui7dRYnbAX_EzZRxAaqhqFqLwGr8T8bAibpK55-U_4ohgX3H9d8dvskPMjwt0ScwEZKG14h9_ARpH_86jUwyUaSQNTcBeergt261NJs59TkfHw5QgEd3fRGMWrX9HMq3WA7DszF7N7fKDj0b9wA1X7o4yxyy8mVpfWFkYIIMohAyJbQHjNm3AIcJYMOWRnfJ_-aU0hxkfku9T3iKyvm1X49Zf1wvgoA59vExoQV_1b2i6ER-FvR5fiVsBWjQ_iCkI5jaf7mzXO93zlo5M3dphYqDlGiIiS6JlyT9kdjdMvKRhyF7PBjS1thmV4uUWPqLkwQ79VIUhlhmBQiS2zk687XjFh1tR034OgWM3agThDq_P54Z14YtGBjMbldqvM3b8d0AcGJar6XznyAgcoraCdzpaVcPNTjRY78Yy2cXNqOO7hH1yAlNUN_V8SKFvGt_GBolF-4D5TVNN873HIk_Gyfpaf-FrrBw_9DvFv6i0m5u5wiJBxmebKL-UhQxMeJwXlOC5ao764FyGbYO7mid9hgjLZXEoX7juJv_RPn2Pi5oOZcZ9o9cO8F6oit61xXobXV2_zjgWo5xaJ5uRmKdWKo6UXnkFsIJYukUf3nX6mAnpxosl6LNNihC6XvrhWUsAtSXDmy3KW5xImaSXsItFC3CoIKTF5yUNk2X2MYgLWNeJVeTMb0cDetMiyRbxjDsHSPOwSDoGzo0FBkwOPKccZ8aGZIDgUcoCy6Xz9fOjFhgpapsiikiwYOUCpXlsXeQEyS0YLc2IfAmX5Q0Pyp_dyGwB_LfzG_38vjeLF66Akdbt-zr02Wg0q7O2rzmjJT4hfUeafDzwtxTFKzrS0kGZS4aO26gZDGGy0WC8IZo9SoqIYprIzpXYouiX_da9phqN7BzAcuGqb1-ouluIrBtsZZKXf_7shh0-BIwu9FxeJKfRTZWr2brhML6YKD_0v00qx3UlXaTqfEL5itTgDwA5wR2xNdfJ2m-cy0J9UVtzJetV3ZSC5l0IMzsY77g9FtkI56LL76SkTGTsxINHk-TNChIF8idfqe78A2KNixMPPWky7Wci5Xtv8cHt5b8znFRUOuChsIeNF7abHQ_8JAJt_WfLCCEkWcZDYBZexDYuh6o7vKAXFLkZapSj4UHV0nFljWqZQsh1muKj92TJWzQ5knqf2SI-F3IuFtnpEyCNbo04rAYPJ3hCepym6gTUaEMkETrPFkJ3_IsrqpGMcaKSOqD4RtQV3HxL47Csc2tHFoppA-sipDRdg_ZC1BrU7suutTitq2T39oxCPL6r-WYV7puMztyu-zP_fXsi8m13DOJjc-AcEoyyQfOHCdMFZzcgOuSAnKr2oEclVcgEVsEWaQqitkXik9ux7tpwIXKhkkPAc14rnZfZuObHCF0tGCCTPnRk6irmLnPbpTaX5BPGyixBA64vOxIay15PVJiUCSXxHuO-2GxybfQAfRqPYGslxb7LadPYuNJDc6IxXn8sx7wZTb7GpmXEy_ZZx4nAPp8ZC_oSEfrAXQD3VXOjZxmH_yttsB92t0IUQtFjolaUUgI2vY9sJKGzo4bq88QprTsl_gB9Q_dScnDCsvnIbac6uQbAGbDMBJ0v9rfNrw0lX95fa5P7AV2hrs8b8yKprfAijsM3MAl42qEz7OfOCXZ3CWUDu83FvB2LEHC2D5X5Har6REVLSU7kwlqb2walyWeiTy_ultx-fpZAA0JlQEj2H7Q4WH-skpzKw4BVSapTnO-bHmW2GQcEBBbFwZFAebxoG2iiF6Q0z32Um1J6gg41DdXgnwh-hBWzA29992O1vbPeEaGIOzgR3kAqIa_KIUiVgzGAeSvoQ0y5UL0Y1iSy5ZqqNfd-f0iSbIZoGYJyE5aWEOwjZ5bwAHS_FY5gy2ftL3Xa8OKvhc_GrB6fm8fg9psYyV1Fvegb2iHzUh7A-V2hFqnSTqZauy7gNNPzaMezzXTDrFeWjw74eWx3rackDR1lWYzGO3eselJu0knrZ1hMpt7Q92L05xBbTqF0cVu6q-U7k_So45rzY0HXIsHoGAurmeRosz6vYz7p2UFu_DfcKZbCN3QU7IwGZu7yz9Oz1GG_bfP_3-t3wjnyWopqc0UyotF32nkppERqSH90XyCSsrEwTrqLC_83l68Ygw9mo_E2iMEhqauejt0avtDBoF0Voc3wTW4eXFFT6oGSKx-m99vFMNilV8XAdZtb5YLxjAAMi0ZB83ReWMjvBXcfrPDraWIO69vimseWMbxTqIF_OQ2Vglmm7a8QGkpbqrU1tsgFgugwMFBsS_VcKYuVyBWJZ4vgq080914NtsCgWS94U8tm-Xb8TWwKpvWEXb83Vraie34U_3nqopZAIjo4KT2q1tvy47GQ8h_rdNH2XKwSsHz0NpyFoVLJ2Gw3yZxt9iwxH8fQXfOspwF2Mz5h5wX1oYKhXlEJebnHIfxuW5FJdUFkXttv4d-f23dDcOlmA5jALBCZpXLszjPKj9aqES7-xUH9mSztFOfO2KzOhZU0qYkcRCiQJ7fwdcRIbO-7yYaTQUpEzwPICzev1Jp6AbPOGfKCngale9d6luSMXumdrZdBr3Q4-aJpUyDwkQMiV-0IiNwcxd8qOwlhSOUtiupyfGGYndeF-EAPYfKp", "iter": 260000}