Zobrazeno 1 - 10
of 1 076
pro vyhledávání: '"Kapulkin, A."'
Inspired by recent work on the categorical semantics of dependent type theories, we investigate the following question: When is logical structure (crucially, dependent-product and subobject-classifier structure) induced from a category to categories
Externí odkaz:
http://arxiv.org/abs/2410.11728
Autor:
Kapulkin, Chris, Kershaw, Nathan
We present a fast algorithm for computing discrete cubical homology of graphs over a field of characteristic zero. This algorithm improves on several computational steps compared to constructions in the existing literature, with the key insights incl
Externí odkaz:
http://arxiv.org/abs/2410.09939
Autor:
Kapulkin, Chris, Mavinkurve, Udit
We give a new construction of the model structure on the category of simplicial sets for homotopy $n$-types, originally due to Elvira-Donazar and Hernandez-Paricio, using a right transfer along the coskeleton functor. We observe that an analogous mod
Externí odkaz:
http://arxiv.org/abs/2408.05289
Autor:
Ebel, Sterling, Kapulkin, Chris
We provide an axiomatic treatment of Quillen's construction of the model structure on topological spaces to make it applicable to a wider range of settings, including $\Delta$-generated spaces and pseudotopological spaces. We use this axiomatization
Externí odkaz:
http://arxiv.org/abs/2310.14235
Autor:
Kapulkin, Chris, Li, Yufeng
Revisiting a classic result from M. Hofmann's dissertation, we give a direct proof of Morita equivalence, in the sense of V. Isaev, between extensional type theory and intensional type theory extended by the principles of functional extensionality an
Externí odkaz:
http://arxiv.org/abs/2310.05706
Autor:
Kapulkin, Chris, Kershaw, Nathan
We show that the category of (reflexive) graphs and graph maps carries exactly two closed symmetric monoidal products: the box product and the categorical product.
Comment: 18 pages; comments welcome
Comment: 18 pages; comments welcome
Externí odkaz:
http://arxiv.org/abs/2310.00493
The diagonal lemma asserts that if a map of bisimplicial sets is a levelwise weak equivalence in the Kan-Quillen model structure, then it induces a weak equivalence of the diagonal simplicial sets. In this short note, we observe that the standard pro
Externí odkaz:
http://arxiv.org/abs/2306.02217
We describe a generalization of Gabriel and Zisman's Calculus of Fractions to quasicategories, showing that the two essentially coincide for the nerve of a category. We then prove that the marked Ex-functor can be used to compute the localization of
Externí odkaz:
http://arxiv.org/abs/2306.02218
We show that the quasicategory defined as the localization of the category of (simple) graphs at the class of A-homotopy equivalences does not admit colimits. In particular, we settle in the negative the question of whether the A-homotopy equivalence
Externí odkaz:
http://arxiv.org/abs/2306.02219
Autor:
Maxim Rubanovych, Vladimir Balabanov, Yevgeny Raitses, Michael Keidar, Vladimir Kim, Igal Kronhaus, Yakov Krasik, Binyamin Rubin, Sedina Tsikata, Omri Hamo, Dan Lev, Alexander Semenkin, Sergey Khartov
Publikováno v:
Journal of Electric Propulsion. 1
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c906753fbfe07bb4bf51042c36cfc937
https://doi.org/10.1007/s44205-022-00018-7
https://doi.org/10.1007/s44205-022-00018-7
