{"entities":{"Q1659918":{"pageid":1670659,"ns":120,"title":"Item:Q1659918","lastrevid":71139141,"modified":"2026-04-13T19:44:47Z","type":"item","id":"Q1659918","labels":{"en":{"language":"en","value":"Univalent completion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6923804"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659918$FC4B8533-5B4F-4A88-B098-A04344BA6621","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a74e201d831ce41cd5f4876f5ea64c438b68e4f","datavalue":{"value":{"text":"Univalent completion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1659918$7613789C-9AA6-4433-B95C-A5A26313649C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4b429e1515c818901c04c65acf345b6ce0b88d1","datavalue":{"value":"1400.55007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1659918$9B092408-D7B6-4C93-AF88-5A5BFAA31012","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d5b6d9c706120e3546cda282e0bf75898c459f","datavalue":{"value":{"entity-type":"item","numeric-id":448332,"id":"Q448332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659918$D58367AF-0595-4D18-A5EA-329D2D67A7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d27f35d8b8d36daa01c278530444ad70355c66c","datavalue":{"value":{"entity-type":"item","numeric-id":169786,"id":"Q169786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659918$BF5CC173-DECC-41DF-BE66-C58A4711377E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659918$8643D98D-4D5C-4262-B481-1C44D5A3DBA1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"017cbaca98e702a921417439b16789f06c940ade","datavalue":{"value":{"time":"+2018-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1659918$B2F8A355-B789-4180-BFC2-F55A9FC89ED3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"959d581b6b9244dc6967ca0fa1488e130f6ad4e2","datavalue":{"value":"https://arxiv.org/abs/1508.04021","type":"string"},"datatype":"url"},"type":"statement","id":"Q1659918$91EE7F9F-EC66-428B-89A5-F7679B0E113E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4b0f2b631a7d67de1aeb0fb2914e197a2272f7b7","datavalue":{"value":"A Kan fibration \\(p\\) of simplicial sets is called \\textit{universal} if every fibration satisfying a certain set-theoretic size restriction (typically on the cardinality of the fibre) is a homotopy pullback of \\(p\\). The fibration \\(p\\) is called \\textit{univalent} if, roughly speaking, the path space of the base of \\(p\\) is weakly equivalent to the space of (parametrised) weak equivalences between fibres of \\(p\\).  In the paper under review, the authors prove in Theorem 2 that for any fibration \\(E \\rightarrow B\\) there exists a univalent fibration \\(E' \\rightarrow B'\\) (in the same set-theoretic universe) with \\(B \\subseteq B'\\), together with a map of fibrations resulting in a homotopy pullback square (so that the map \\(E \\rightarrow B \\times_{B'} E'\\) is a weak equivalence):  \\[ \\begin{matrix} E & \\rightarrow & E' \\\\ \\downarrow && \\downarrow \\\\ B & \\subseteq & B' \\end{matrix} \\]  Moreover, if \\(p\\) is universal then \\(p'\\) is universal as well.  The paper uses the machinery of actions of simplicial groupoids on simplicial sets, developed in \\S\\S2--3. Universality and univalence are discussed in \\S4, and \\S5 is devoted to the formulation and proof of Theorem 2.  The paper requires no background in type theory. It is carefully written and self-contained, assuming only familiarity with basic homotopy theory of simplicial sets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1659918$947F0992-E20C-4DE4-93E5-19516771CB55","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d4e5a974cc2c5825ac305d32c171b7a6b3ce1331","datavalue":{"value":{"entity-type":"item","numeric-id":590264,"id":"Q590264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659918$C1463765-A203-4A64-92DE-D6A2F1F6869A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1671a57c24c00078e0c18be9f2fd3ca558528ddb","datavalue":{"value":"55R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1659918$AD204BA7-065C-4469-8446-391F660619D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1722e8eaf8d0b6e989e3d4620a85df21f8eb2337","datavalue":{"value":"55U10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1659918$B606AE3E-C21A-4D89-BC45-9B03059AAF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1659918$1DF1030F-6080-4B93-AD26-633F975D2EFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7dc651ab8bf975627e7519b978a0f03abc01877","datavalue":{"value":"6923804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1659918$C681A26E-438D-4452-9708-4660C6A4D9F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48dc189f2e39711c5c3ad5113683aee02f1c8cd8","datavalue":{"value":"universal fibration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1659918$ED323E01-8044-470D-BF78-935E15DE70F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c765b61f991b5814771080ad2d7403409394c2d3","datavalue":{"value":"univalent fibration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1659918$93A50BE1-71CF-41DB-B5B9-0B2FB694BE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c1da3d51ea6074c01c2ff2c6922ed57bc5dead1","datavalue":{"value":"homotopy pullback","type":"string"},"datatype":"string"},"type":"statement","id":"Q1659918$95B9DE54-F172-4878-859C-9379D9B631E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d14147879c9a842d6fce26ef4007a782973d79f","datavalue":{"value":"simplicial groupoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1659918$F3FC04D8-F82F-48EA-9AF6-76B3CF8DAFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73ce95c6608b1eb4f5a2a72ace3bc7950998a371","datavalue":{"value":"groupoid action","type":"string"},"datatype":"string"},"type":"statement","id":"Q1659918$B58B0483-0783-4D25-8CA6-8940F8B71B5A","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659918$FF081081-5D5C-4E88-B994-F04970268049","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c876525f99b2e0d542629e330a08465bccb2df3","datavalue":{"value":"W3037167746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1659918$8A903E5E-AEB1-48BB-8D5B-0CFA1B7F6251","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"47cf9ee522749ec828461ca7384642960bea9569","datavalue":{"value":"Q59481694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1659918$7F346223-1C94-4FB1-8FD6-5046995EF5FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a57a3318a25662d2e0c0547f497fa8797898329","datavalue":{"value":{"entity-type":"item","numeric-id":5740651,"id":"Q5740651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659918$A9203F1D-82DE-4CD5-9BF8-7B1AC6C2E555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03afdf275ccfd5f11cb597005a9be741183e0c58","datavalue":{"value":{"entity-type":"item","numeric-id":5580926,"id":"Q5580926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659918$CA8BB6EF-558F-4482-AFF6-9BA58645C351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ac08aa2a700595624d1082d66497c7099121a2","datavalue":{"value":{"entity-type":"item","numeric-id":524707,"id":"Q524707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659918$822B47B9-C18E-408B-BAAE-090C996DEC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38a4e366489e4ad5febea04a446cbe76bafafbaa","datavalue":{"value":{"entity-type":"item","numeric-id":2709340,"id":"Q2709340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659918$5DAEA835-8B7D-4740-BE4F-E10735FDF072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0734eca8b44b27cc39aa495faea7cd858d51f4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4247303,"id":"Q4247303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659918$5AA9676A-C8EE-403D-802C-520BCD77296B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb11ca869a89cccb65ea9cceb6fc53bca68454eb","datavalue":{"value":{"entity-type":"item","numeric-id":1785779,"id":"Q1785779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659918$DD5DEA6F-9240-423E-9874-BCFA408CB682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50a8569e46b6ebf9bdf790ad48b6a4dab614e1a9","datavalue":{"value":{"entity-type":"item","numeric-id":5550390,"id":"Q5550390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659918$2BC80ED6-7CDC-47D7-BE9F-5117FF8592CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"718cb777f78220cf81409585c092f059010bceba","datavalue":{"value":{"entity-type":"item","numeric-id":3490175,"id":"Q3490175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659918$BA7914B3-0149-47E0-982A-FD59C150EC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1d13fae8b0edd005619879264a500b259205b13","datavalue":{"value":{"entity-type":"item","numeric-id":5963045,"id":"Q5963045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659918$A4DE3B29-872F-4699-866F-3F02BF6AD1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472fe6e79b503d14429d15ec73a6169d7420ec0b","datavalue":{"value":{"entity-type":"item","numeric-id":5740656,"id":"Q5740656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659918$D254C699-FFB5-4A63-90F0-6132FD5A1083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659918$B748AD53-2449-4107-9584-3B7637BD1419","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e6876bc5cf99953705f159ec082b8c9c0e4722c","datavalue":{"value":"10.1007/S00208-017-1614-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1659918$907ABAA7-F57F-489D-9E57-86F80FE60BDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c583d83c0dde3f48c30b9294a438797118f984ee","datavalue":{"value":{"entity-type":"item","numeric-id":2031691,"id":"Q2031691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee73caddb8c3b08af6621d6721d3d75d7a97749d","datavalue":{"value":{"amount":"+0.7525489926338196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1659918$EAC64E0B-79E4-4BB9-BECB-82A62C023298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4537a82b3458dca1b09f14a5058d65a402b757a","datavalue":{"value":{"entity-type":"item","numeric-id":711379,"id":"Q711379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e2b101aa325c20b92207bf73af3ba6ac78f849f","datavalue":{"value":{"amount":"+0.7462692856788635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1659918$D53931E4-1A9E-4E9F-9CCC-D33DEC948D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15c417c682595761682a964b99be868eaf4dafed","datavalue":{"value":{"entity-type":"item","numeric-id":2094622,"id":"Q2094622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3676c34174628419885c61c93ee4576e53ceab6a","datavalue":{"value":{"amount":"+0.7361364364624023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1659918$764C84FD-4A2E-4B08-9CEA-BEC1BC4522D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d63386262aa8ed686dc17626af513515fbea4d9","datavalue":{"value":{"entity-type":"item","numeric-id":2104885,"id":"Q2104885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8068e5cf20fe2fa6cc9039f14e5d334d9f2f7d01","datavalue":{"value":{"amount":"+0.7312026619911194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1659918$51E52688-BA6C-4E5D-8E98-EE54C5A44C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20c33c176c1af02c7c955a44f3b4740fff785fa1","datavalue":{"value":{"entity-type":"item","numeric-id":5740656,"id":"Q5740656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c1ce059b907f5e29b5ab1c26bed259f1df69072","datavalue":{"value":{"amount":"+0.7211713194847107","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1659918$29E44CDC-B8AC-42AF-8A48-A8F91A26EE28","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659918$F30F868C-FAB4-4718-AE4F-16D359CB15E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Univalent completion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Univalent_completion"}}}}}