Related papers: Seeing double through dependent optics
Delta lenses are functors equipped with a functorial choice of lifts, generalising the notion of split opfibration. In this paper, we introduce a Grothendieck construction (or category of elements) for delta lenses, thus demonstrating a…
In principle, the design of transition-based dependency parsers makes it possible to experiment with any general-purpose classifier without other changes to the parsing algorithm. In practice, however, it often takes substantial software…
By virtue of Balmer's celebrated theorem, the classification of thick tensor ideals of a tensor triangulated category $\T$ is equivalent to the topological structure of its Balmer spectrum $\spc \T$. Motivated by this theorem, we discuss…
Following Mitchell's philosophy, in this paper we define the analogous of the triangular matrix algebra to the context of rings with several objects. Given two additive categories $\mathcal{U}$ and $\mathcal{T}$ and $M\in…
Borchers has shown that in a translation covariant vacuum representation of a theory of local observables with positive energy the following holds: The (Tomita) modular objects associated with the observable algebra of a fixed wedge region…
We lay out the theory of a multiplicity in the setting of a triangulated category having a central ring action from a graded-commutative ring $R$, in other words, an $R$-linear triangulated category. The invariant we consider is modelled on…
A duoidal category is a category equipped with two monoidal structures in which one is (op)lax monoidal with respect to the other. In this paper we introduce duoidal $\infty$-categories which are counterparts of duoidal categories in the…
Autonomous driving systems demand trajectory planners that not only model the inherent uncertainty of future motions but also respect complex temporal dependencies and underlying physical laws. While diffusion-based generative models excel…
Transformation optics establishes an equivalence relationship between gradient media and curved space, unveiling intrinsic geometric properties of gradient media. However, this approach based on curved spaces is concentrated on…
What are the fiber functors on small additive monoidal categories C which are not abelian? We give an answer which leads to a new Tannaka duality theorem for bialgebroids generalizing earlier results by Phung Ho Hai. The construction…
We define the notion of an additive model category, and we prove that any additive, stable, combinatorial model category has a natural enrichment over symmetric spectra based on simplicial abelian groups. As a consequence, every object in…
Invertibility is an important concept in category theory. In higher category theory, it becomes less obvious what the correct notion of invertibility is, as extra coherence conditions can become necessary for invertible structures to have…
Category theory has foundational importance because it provides conceptual lenses to characterize what is important in mathematics. Originally the main lenses were universal mapping properties and natural transformations. In recent decades,…
We lift to equivariant algebra three closely related classical algebraic concepts: abelian group objects in augmented commutative algebras, derivations, and K\"ahler differentials. We define Mackey functor objects in the category of Tambara…
We introduce a new topological invariant of a rigidly-compactly generated tensor-triangulated category and two new notions of support. The first is based on smashing subcategories: it is unknown whether the frame of smashing subcategories…
For a homological functor from a triangulated category to an abelian category satisfying some technical assumptions we construct a tower of interpolation categories. These are categories over which the functor factorizes and which capture…
For each object in a tensor triangulated category, we construct a natural continuous map from the object's support---a closed subset of the category's triangular spectrum---to the Zariski spectrum of a certain commutative ring of…
Some basic features of the simultaneous inclusion of discrete fibrations and discrete opfibrations in categories over a base category X are considered. In particular, we illustrate the formulas (|P)x = ten(x/X,P) ; (P|)x = hom(X/x,P) which…
First, we extend Leifer-Milner RPO theory, by giving general conditions to obtain IPO labelled transition systems (and bisimilarities) with a reduced set of transitions, and possibly finitely branching. Moreover, we study the weak variant…
We introduce the basic elements of the theory of parametrized $\infty$-categories and functors between them. These notions are defined as suitable fibrations of $\infty$-categories and functors between them. We give as many examples as we…