范畴论

Let $X$ be a topological space equipped with a basis. We prove that, for every $\infty$-category $\mathcal{C}$ with limits, the restriction functor from $\mathcal{C}$-valued hypersheaves on $X$ to basic hypersheaves is an equivalence of…

We establish a form of 2-adjunction (tentatively termed the *fundamental 2-adjunction*), building on the fundamental adjunction proposed by Olivia Caramello and Riccardo Zanfa, which provides a constructive method for the associated stack…

We show that the category of chain-complete posets is nearly locally presentable, we give a characterization of strong epimorphisms, and we offer an alternative proof of co-wellpoweredness.

We provide an alternative proof of Lurie's result that the wide subcategory of the $\infty$-category of $\infty$-topoi spanned by the \'etale morphisms is closed under small colimits. Our proof is based on a new characterization of \'etale…

We introduce a bicategory that refines the localization of the category of dg categories with respect to quasi-equivalences and investigate its properties via formal category theory. Concretely, we first introduce the bicategory of dg…

Many structured categories of interest are most naturally described as algebras for a relative monad, but turn out nonetheless to be algebras for an ordinary monad. We show that, under suitable hypotheses, the left oplax Kan extension of a…

We show that, for any 2-category $C$ and 2-functor $F\colon C \to Cat$, the double category of elements $\iint_C F$ introduced by Grandis and Par\'e satisfies a version of Thomason's colimit theorem; that is, there is a weak homotopy…

In [LWY23] the authors construct the reflective center of a module category M over a braided monoidal category B. The reflective center is by construction a braided module category over B. In the case where B is the category of modules over…

We prove that Hinich's construction of the Day convolution operad of two $\mathcal{O}$-monoidal $\infty$-categories is an exponential in the $\infty$-category of $\infty$-operads over $\mathcal{O}$, and use this to give an explicit…

In "Backprop as functor", the authors show that the fundamental elements of deep learning -- gradient descent and backpropagation -- can be conceptualized as a strong monoidal functor Para(Euc)$\to$Learn from the category of parameterized…

We establish a sufficient condition for the category of homotopical inverse diagrams to be closed under pushforward inside the category of inverse diagrams in a fibration category.

The unstraightening construction due to Lurie establishes an equivalence between presheaves and fibrations, using one prominent model of $(\infty,1)$-categories, namely quasi-categories. In this work we generalize this result by proving…

We study and compare some topos of types constructions, which were defined by Garner, Joyal, Reyes and Makkai.

We discuss invariants which are helpful for the computation of the vanishing locus of a finitely presented functor $\mathcal{G}$, i.e., the set of points in the Ziegler spectrum on which $\mathcal{G}$ vanishes. These invariants are: the…

We prove that $i)$ if $\mathcal{A}$ is $\lambda $-accessible and it is axiomatizable in (finitary) coherent logic then $\lambda $-pure maps are strict monomorphisms and $ii)$ if there is a proper class of strongly compact cardinals and…

We present a proof of the formula (given in Lurie's Higher Algebra) for the operad governing diagrams of operad algebras. We believe that our proof corrects a flaw in the original argument. 2nd version: a corrected proof given.

For a commutative, unital and divisible quantale $\mathsf{Q}$, it is shown that the category of $\mathsf{Q}$-sets is a topos if, and only if, $\mathsf{Q}$ is a frame.

A basic technique in model theory is to name the elements of a model by introducing new constant symbols. We describe the analogous construction in the language of syntactic categories/ sites. As an application we identify…

The category fat Delta, introduced by J. Kock, is a modification of the simplex category where the degeneracies behave weakly. The objective of this note is to provide tools for working with fat Delta. In particular, we identify three types…

We invesigate the relation between projective and anomalous representations of categories, and show how to any anomaly $J\colon \mathcal{C}\to 2\mathrm{Vect}$ one can associate an extension $\mathcal{C}^J$ of $\mathcal{C}$ and a subcategory…