標(biāo)題: Titlebook: Effective Kan Fibrations in Simplicial Sets; Benno van den Berg,Eric Faber Book 2022 The Editor(s) (if applicable) and The Author(s), unde [打印本頁(yè)] 作者: 有靈感 時(shí)間: 2025-3-21 17:55
書目名稱Effective Kan Fibrations in Simplicial Sets影響因子(影響力)
書目名稱Effective Kan Fibrations in Simplicial Sets影響因子(影響力)學(xué)科排名
書目名稱Effective Kan Fibrations in Simplicial Sets網(wǎng)絡(luò)公開(kāi)度
書目名稱Effective Kan Fibrations in Simplicial Sets網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書目名稱Effective Kan Fibrations in Simplicial Sets被引頻次
書目名稱Effective Kan Fibrations in Simplicial Sets被引頻次學(xué)科排名
書目名稱Effective Kan Fibrations in Simplicial Sets年度引用
書目名稱Effective Kan Fibrations in Simplicial Sets年度引用學(xué)科排名
書目名稱Effective Kan Fibrations in Simplicial Sets讀者反饋
書目名稱Effective Kan Fibrations in Simplicial Sets讀者反饋學(xué)科排名
作者: 異教徒 時(shí)間: 2025-3-22 00:19 作者: 記成螞蟻 時(shí)間: 2025-3-22 03:08 作者: AMPLE 時(shí)間: 2025-3-22 06:32 作者: 財(cái)主 時(shí)間: 2025-3-22 11:27 作者: 食草 時(shí)間: 2025-3-22 16:09 作者: 食草 時(shí)間: 2025-3-22 17:09 作者: gratify 時(shí)間: 2025-3-22 21:17
https://doi.org/10.1007/978-3-662-41254-1In this chapter we embark on the study of the effective Kan fibrations in simplicial sets defined using the dominance and symmetric Moore structure on simplicial sets that we established in the previous chapters. The main result of this chapter is that these effective Kan fibrations are cofibrantly generated by a small triple category.作者: MUT 時(shí)間: 2025-3-23 04:29
Als das Digitale noch Hardware war,In this chapter we show that effective Kan fibration form a local notion of fibred structure. In addition we show that they coincide the usual Kan fibrations if we work in a classical metatheory.作者: 即席演說(shuō) 時(shí)間: 2025-3-23 08:15 作者: nonradioactive 時(shí)間: 2025-3-23 10:23 作者: insurgent 時(shí)間: 2025-3-23 15:44
PreliminariesIn this chapter we introduce the main theoretical framework in which our theory of effective fibrations is embedded. Abstractly put, we are studying and constructing new notions of . and . on a category ..作者: lipoatrophy 時(shí)間: 2025-3-23 19:13
Simplicial Sets as a Symmetric Moore CategoryIn this chapter we equip the category of simplicial with the structure of a symmetric Moore category. For this we use the simplicial Moore path functor originally defined by Clemens Berger, Richard Garner and the first author.作者: Debility 時(shí)間: 2025-3-24 00:11
Mould Squares in Simplicial SetsIn this chapter we embark on the study of the effective Kan fibrations in simplicial sets defined using the dominance and symmetric Moore structure on simplicial sets that we established in the previous chapters. The main result of this chapter is that these effective Kan fibrations are cofibrantly generated by a small triple category.作者: 代理人 時(shí)間: 2025-3-24 03:37 作者: Paradox 時(shí)間: 2025-3-24 07:29
ConclusionIn this final chapter we would like to take stock of the properties of effective Kan fibrations that we have established and outline some directions for future research.作者: Cytokines 時(shí)間: 2025-3-24 13:54 作者: concert 時(shí)間: 2025-3-24 16:03 作者: 少量 時(shí)間: 2025-3-24 22:38 作者: 機(jī)警 時(shí)間: 2025-3-25 01:13
https://doi.org/10.1007/978-3-658-17888-8 factorisation system will be shown to be the class of . defined by the dominance, while the right class (algebras) is called the class of .. Proposition . can also be found in Bourke and Garner [.]. The rest of the chapter studies the (double) category of effective cofibrations a bit more closely a作者: 喃喃訴苦 時(shí)間: 2025-3-25 06:42 作者: ACRID 時(shí)間: 2025-3-25 09:16 作者: 我的巨大 時(shí)間: 2025-3-25 14:55
https://doi.org/10.1007/978-3-476-03489-2y ingredient in this definition is the notion of a specific morphism between hyperdeformation retracts, called a .. After defining mould squares, effective fibrations are defined as arrows equipped with a right-lifting property with respect to a triple category of hyperdeformation retracts and mould作者: 得意牛 時(shí)間: 2025-3-25 16:33 作者: 隱語(yǔ) 時(shí)間: 2025-3-25 23:52
https://doi.org/10.1007/978-3-662-39800-5n which the effective cofibrations are the left maps. The right maps in this AWFS will be called the effective trivial Kan fibrations. We show that this class of effective trivial Kan fibrations is cofibrantly generated by a small double category, local and coincides with the usual class of trivial 作者: 使厭惡 時(shí)間: 2025-3-26 04:07
https://doi.org/10.1007/978-3-642-51999-4us that we will then obtain an AWFS of hyperdeformation retracts and naive Kan fibrations. We show that in the category of simplicial sets the naive Kan fibration are cofibrantly generated by a small double category and are a local notion of fibred structure.作者: 宣傳 時(shí)間: 2025-3-26 06:31 作者: 草本植物 時(shí)間: 2025-3-26 11:38 作者: 摻假 時(shí)間: 2025-3-26 16:37 作者: 時(shí)代 時(shí)間: 2025-3-26 17:05
https://doi.org/10.1007/978-3-642-51999-4us that we will then obtain an AWFS of hyperdeformation retracts and naive Kan fibrations. We show that in the category of simplicial sets the naive Kan fibration are cofibrantly generated by a small double category and are a local notion of fibred structure.作者: Scintillations 時(shí)間: 2025-3-26 22:46
An Algebraic Weak Factorisation System from a Dominance factorisation system will be shown to be the class of . defined by the dominance, while the right class (algebras) is called the class of .. Proposition . can also be found in Bourke and Garner [.]. The rest of the chapter studies the (double) category of effective cofibrations a bit more closely a作者: 使習(xí)慣于 時(shí)間: 2025-3-27 02:54 作者: Mortar 時(shí)間: 2025-3-27 07:58 作者: machination 時(shí)間: 2025-3-27 12:14
Mould Squares and Effective Fibrationsy ingredient in this definition is the notion of a specific morphism between hyperdeformation retracts, called a .. After defining mould squares, effective fibrations are defined as arrows equipped with a right-lifting property with respect to a triple category of hyperdeformation retracts and mould作者: 精致 時(shí)間: 2025-3-27 16:39 作者: ONYM 時(shí)間: 2025-3-27 19:38
Effective Trivial Kan Fibrations in Simplicial Setsn which the effective cofibrations are the left maps. The right maps in this AWFS will be called the effective trivial Kan fibrations. We show that this class of effective trivial Kan fibrations is cofibrantly generated by a small double category, local and coincides with the usual class of trivial 作者: Temporal-Lobe 時(shí)間: 2025-3-28 00:15
Hyperdeformation Retracts in Simplicial Setsus that we will then obtain an AWFS of hyperdeformation retracts and naive Kan fibrations. We show that in the category of simplicial sets the naive Kan fibration are cofibrantly generated by a small double category and are a local notion of fibred structure.作者: 有抱負(fù)者 時(shí)間: 2025-3-28 04:53
0075-8434 hese new results solve an open problem in homotopy type theory and provide the first step toward giving a constructive account of Voevodsky’s model of univalent type theory in simplicial sets.978-3-031-18899-2978-3-031-18900-5Series ISSN 0075-8434 Series E-ISSN 1617-9692 作者: WAIL 時(shí)間: 2025-3-28 07:15 作者: Highbrow 時(shí)間: 2025-3-28 10:52 作者: Limousine 時(shí)間: 2025-3-28 16:52
https://doi.org/10.1007/978-3-658-17888-8ion . can also be found in Bourke and Garner [.]. The rest of the chapter studies the (double) category of effective cofibrations a bit more closely and in terms of (co)fibred structure. Throughout this chapter, . is a category satisfying the conditions stated at the beginning of Chap. ..作者: CHOKE 時(shí)間: 2025-3-28 19:15
https://doi.org/10.1007/978-3-662-39800-5is class of effective trivial Kan fibrations is cofibrantly generated by a small double category, local and coincides with the usual class of trivial Kan fibrations if we work in a classical metatheory.作者: extinguish 時(shí)間: 2025-3-29 02:39
An Algebraic Weak Factorisation System from a Dominanceion . can also be found in Bourke and Garner [.]. The rest of the chapter studies the (double) category of effective cofibrations a bit more closely and in terms of (co)fibred structure. Throughout this chapter, . is a category satisfying the conditions stated at the beginning of Chap. ..作者: SEEK 時(shí)間: 2025-3-29 07:03 作者: Arthr- 時(shí)間: 2025-3-29 10:09
https://doi.org/10.1007/978-3-476-03489-2 squares. We show that effective fibrations are also naive fibrations. Further, we define a notion of effective trivial fibration with respect to a triple category and show that it coincides with the one defined in Chap. .. We show that effective trivial fibrations are also effective fibrations.作者: 膽汁 時(shí)間: 2025-3-29 14:08
Mould Squares and Effective Fibrations squares. We show that effective fibrations are also naive fibrations. Further, we define a notion of effective trivial fibration with respect to a triple category and show that it coincides with the one defined in Chap. .. We show that effective trivial fibrations are also effective fibrations.作者: Minikin 時(shí)間: 2025-3-29 15:55 作者: 預(yù)防注射 時(shí)間: 2025-3-29 22:08 作者: 喃喃而言 時(shí)間: 2025-3-30 03:48 作者: CRAMP 時(shí)間: 2025-3-30 05:10
10樓作者: tackle 時(shí)間: 2025-3-30 09:12
10樓
