Related papers: The identity type weak factorisation system
We explore the relation of weak conjugacy in the group of homeomorphisms isotopic to the identity, for surfaces.
We develop a homotopical framework for small categories that extends classical invarints of algebraic topology to the categorical setting. Our approach is based on the construction of genuine path category, obtained trough a localization…
We prove that every categorical model of dependent type theory with dependent sums and products, intensional identity types and univalent universes presents via its $\infty$-localisation an elementary $\infty$-topos, that is, a finitely…
Given an exact category $\mathcal{C}$, it is well known that the connected component reflector $\pi_0\colon\mathsf{Gpd}(\mathcal{C})\to\mathcal{C}$ from the category $\mathsf{Gpd}(\mathcal{C})$ of internal groupoids in $\mathcal{C}$ to the…
The small object argument is a method for transfinitely constructing weak factorization systems originally motivated by homotopy theory. We establish a variant of the small object argument that is enriched over a cofibrantly generated weak…
An n-category is some sort of algebraic structure consisting of objects, morphisms between objects, 2-morphisms between morphisms, and so on up to n-morphisms, together with various ways of composing them. We survey various concepts of…
We summarize recent progress in the theory of exclusive rare and semileptonic B decays, focusing on model-independent results. The heavy-to-light form factors parameterizing these decays admit a model-independent description in two distinct…
Fix a tangential structure $\theta: B \longrightarrow BO(d+1)$ and an integer $k < d/2$. In this paper we determine the homotopy type of a cobordism category $\mathbf{Cob}^{\text{mf}, k}_{\theta}$, where morphisms are given by…
In this paper, we define and study weak monoidal Hom-Hopf algebras, which generalize both weak Hopf algebras and monoidal Hom-Hopf algebras. If $H$ is a weak monoidal Hom-Hopf algebra with bijective antipode and let $Aut_{wmHH}(H)$ be the…
C*-algebras form a 2-category with \Star{}homomorphisms or correspondences as morphisms and unitary intertwiners as 2-morphisms. We use this structure to define weak actions of 2-categories, weakly equivariant maps between weak actions, and…
We give a constructive proof of the factorization theorem for the classical Hardy space in terms of fractional integral operator. Moreover, the result is extended to the multilinear case and weighted case. As an application, we obtain the…
We prove that the $\infty$-category of orthogonal factorization systems embeds fully faithfully into the $\infty$-category of double $\infty$-categories. Moreover, we prove an (un)straightening equivalence for double $\infty$-categories,…
We define a homotopy relation between arrows of a category with weak equivalences, and give a condition under which the quotient by the homotopy relation yields the homotopy category. In the case of the fibrant-cofibrant objects of a model…
We introduce a notion of $\Theta$-categories, which is a refinement of the notion of symmetric monoidal $\infty$-categories. We use this notion to prove a Tannakian duality statement, relating $\Theta$-categories with fpqc-stacks by means…
We extend the framework of combinatorial model categories, so that the category of small presheaves over large indexing categories and ind-categories would be embraced by the new machinery called class-combinatorial model categories. The…
This paper defines an invariant associated to Whitehead's certain exact sequence of a simply connected CW-complex which is much more elementary - and less powerful - than the boundary invariant of Baues. Nevertheless, in good cases, it…
Let $R$ be a commutative ring with unit. We consider the homotopy theory of the category of spectral sequences of $R$-modules with the class of weak equivalences given by those morphisms inducing a quasi-isomorphism at a certain fixed page.…
A condition, in two variants, is given such that if a property P satisfies this condition, then every logic which is at least as strong as first-order logic and can express P fails to have the compactness property. The result is used to…
Weak bimonoids in duoidal categories are introduced. They provide a common generalization of bimonoids in duoidal categories and of weak bimonoids in braided monoidal categories. Under the assumption that idempotent morphisms in the base…
These are notes from an informal mini-course on factorization homology, infinity-categories, and topological field theories. The target audience was imagined to be graduate students who are not homotopy theorists.