Related papers: Foundations of $(A_\infty,2)$-categories: from flo…
Let (F,u)\to P\to N be a symplectic fibration in math.SG/0503268 McDuff has defined a subgroup Ham^s(F,u) of the group of symplectic automorphisms of(F,u). She has shown that the cohomology class [u] of u can be extended to P if and only if…
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 define natural A_infinity-transformations and construct A_infinity-category of A_infinity-functors. The notion of non-strict units in an A_infinity-category is introduced. The 2-category of (unital) A_infinity-categories, (unital)…
To capture the global structure of a dynamical system we reformulate dynamics in terms of appropriately constructed topologies, which we call flow topologies; we call this process topologization. This yields a description of a semi-flow in…
Classical filtrations in probability theory formalize the accumulation of information along a linear time axis: the past is unique and the present evolves into an uncertain future. In reality, however, this linearity may itself be an…
In this paper we develop a structure called Link Algebra, in which we present a Set with two binary operations and an axiom system developed from the study of graph theory and set/antiset theory, sowing main theorems and definitions. Once…
Starting with an O(2)-principal fibration over a closed oriented surface F_g, g>=1, a 2-fold covering of the total space is said to be special when the monodromy sends the fiber SO(2) = S^1 to the nontrivial element of Z_2. Adapting D…
Recently we showed how, in two-dimensional scalar theories, one-loop threshold diagrams can be cut into the product of one or more tree-level diagrams arXiv:2206.09368. Using this method on the ADE series of Toda models, we computed the…
Building on work by Fiore-Pronk-Paoli, we construct four model structures on the category of double categories, each modeling one of the following: simplicial spaces, Segal spaces, $(\infty,1)$-categories, and $\infty$-groupoids.…
A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…
As an example of the categorical apparatus of pseudo algebras over 2-theories, we show that pseudo algebras over the 2-theory of categories can be viewed as pseudo double categories with folding or as appropriate 2-functors into…
We consider the equivalence between the two main categorical models for the type-theoretical operation of context comprehension, namely P. Dybjer's categories with families and B. Jacobs' comprehension categories, and generalise it to the…
This paper presents the proof of the coherence theorem for Ann-categories whose set of axioms and original basic properties were given in [9]. Let $$\A=(\A,{\Ah},c,(0,g,d),a,(1,l,r),{\Lh},{\Rh})$$ be an Ann-category. The coherence theorem…
We provide an explicit and elementary construction of the Morita $(\infty,2)$-category of a monoidal category which satisfies minimal conditions. We construct it as a $3$-coskeletal $2$-complicial set, in which the vertices encode the…
In this work we provide a model-independent notion of local fibrations of $(\infty,2)$-categories which generalises the well-known theory of locally coCartesian fibrations of $(\infty,1)$-categories. Based on previous work, we construct a…
There are a dozen definitions of weak higher categories, all of which loosen the notion of composition of arrows. A new approach is presented here, where instead the notion of identity arrow is weakened -- these are tentatively called fair…
We introduce monoidal streams. Monoidal streams are a generalization of causal stream functions, which can be defined in cartesian monoidal categories, to arbitrary symmetric monoidal categories. In the same way that streams provide…
We introduce Categorical Flow Maps, a flow-matching method for accelerated few-step generation of categorical data via self-distillation. Building on recent variational formulations of flow matching and the broader trend towards accelerated…
We present an approach to modeling computational calculi using higher category theory. Specifically we present a fully abstract semantics for the pi-calculus. The interpretation is consistent with Curry-Howard, interpreting terms as typed…
We show that any pasting diagram in any $(\infty,2)$-category has a homotopically unique composite. This is achieved by showing that the free 2-category generated by a pasting scheme is the homotopy colimit of its cells as an…