Related papers: Vop\v{e}nka's principle in $\infty$-categories
It is well-known that biological phenomena are emergent. Emergent phenomena are quite interesting and amazing. However, they are difficult to be understood. Due to this difficulty, we propose a theory to describe emergence based on a…
It is known that the existence of localization with respect to an arbitrary (possibly proper) class of maps in the category of simplicial sets is implied by a large-cardinal axiom called Vopenka's principle.In this article we extend the…
We show that diagrammatic sets, a topologically sound alternative to polygraphs and strict $\omega$-categories, admit an internal notion of equivalence in the sense of coinductive weak invertibility. We prove that equivalences have the…
We show that in a locally lambda-presentable category, every lambda(m)-injectivity class (i.e., the class of all the objects injective with respect to some class of lambda-presentable morphisms) is a weakly reflective subcategory determined…
We establish a comparison principle for viscosity subsolutions and supersolutions of a broad class of second-order quasilinear, maximally subelliptic PDEs on general manifolds. In fact, we prove the comparison theorem for a larger class of…
This paper presents some sufficient conditions for the validity of the comparison principle for the weak solutions of non - cooperative weakly coupled systems of elliptic second-order PDEs.
The generic Vop\v{e}nka principle, we prove, is relatively consistent with the ordinals being non-Mahlo. Similarly, the generic Vop\v{e}nka scheme is relatively consistent with the ordinals being definably non-Mahlo. Indeed, the generic…
The goal of this paper is to prove an equivalence between the model categorical approach to pro-categories, as studied by Isaksen, Schlank and the first author, and the $\infty$-categorical approach, as developed by Lurie. Three…
Weak values are average quantities,therefore investigating their associated variance is crucial in understanding their place in quantum mechanics. We develop the concept of a position-postselected weak variance of momentum as cohesively as…
We prove a correspondence between $\kappa$-small fibrations in simplicial presheaf categories equipped with the injective or projective model structure (and left Bousfield localizations thereof) and relatively $\kappa$-compact maps in their…
We prove that, in a triangulated category with combinatorial models, every localizing subcategory is coreflective and every colocalizing subcategory is reflective if a certain large-cardinal axiom (Vopenka's principle) is assumed true. It…
Given a dimension function $\omega$, we define a notion of an $\omega$-vector weighted digraph and an $\omega$-equivalence between them. Then we establish a bijection between the weakly $(\mathbb{Z}/2)^n$-equivariant homeomorphism classes…
Inverse categories are categories in which every morphism x has a unique pseudo-inverse y in the sense that xyx=x and yxy=y. Persistence modules from topological data analysis and similarly decomposable category representations factor…
The concept of convex compactness, weaker than the classical notion of compactness, is introduced and discussed. It is shown that a large class of convex subsets of topological vector spaces shares this property and that is can be used in…
In this paper the relative recognition principle will be proved. It states that a pair of spaces $(X_o,X_c)$ is weakly equivalent to $(\Omega^N_\text{rel}(\iota:B\hookrightarrow Y),\Omega^N(Y))$ if and only if $(X_o,X_c)$ are grouplike…
This is an expository paper providing an overview of the unstable motivic homotopy category using the theory of $(\infty,1)$-categories. In this paper, we examine two constructions in the literature and discuss their equivalence.
A class of nets in constructive (in A.A.Markov's sense) topological space for which the convergence is equivalent to convergence of all subsequences, is described. B.A.Kushner's theorem about coincidence of strong and weak constructive…
The condition for a negative index of refraction with respect to the vacuum index is established in terms of permittivity and permeability susceptibilities. It is found that the imposition of analyticity to satisfy the Kramers-Kronig…
In this paper, we establish a theorem that proves a condition when an inclusion morphism between simplicial sets becomes a weak homotopy equivalence. Additionally, we present two applications of this result. The first application…
G. Raptis has recently proved that, assuming Vop\v{e}nka's principle, every cofibrantly generated model category is Quillen equivalent to a combinatorial one. His result remains true for a slightly more general concept of a cofibrantly…