s answers in the affirmative a question of the second author and Drummond-Cole concerning model structures for cyclic $\infty$-operads. We infer similar statements for planar cyclic $\infty$-operads, providing the model-categorical foundation needed to complete Walde's ...[2/3]
on the TL category, and a full set of monoidal generators is given, which includes the TL generators, a family of orientable genus one diagrams, and a family of non-orientable diagrams.
This document constitutes an initial draft of ongoing research withpreliminary re...[3/4]
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 $\infty$-categories. [1/1]
In all $\kappa$-accessible additive categories, $\kappa$-pure monomorphisms and $\kappa$-pure epimorphisms are well-behaved, as shown in our previous paper arXiv:2311[.]02418. This is known to be not always true in $\kappa$-accessible nonadditive categories. Nevertheles...[1/4]
tems and categorical Galois structures. We describe several examples of these torsion theories, in the dual of elementary toposes, in varieties of universal algebras used as models for non-classical logic, and in coslices of the category of abelian groups. [2/2]
We study a non-pointed version of the notion of torsion theory in the framework of categories equipped with a posetal monocoreflective subcategory such that the coreflector inverts monomorphisms. We explore the connections of such torsion theories with factorization sys...[1/2]