Related papers: Rational Orthogonal Calculus

The learnable, linear neural network layers between tensor power spaces of $\mathbb{R}^{n}$ that are equivariant to the orthogonal group, $O(n)$, the special orthogonal group, $SO(n)$, and the symplectic group, $Sp(n)$, were characterised…

Let $k$ be a commutative Noetherian ring and $\underline{\mathscr{C}}$ be a locally finite $k$-linear category equipped with a self-embedding functor of degree 1. We show under a moderate condition that finitely generated torsion…

For a finite dimensional real vector space V with inner product, let F(V) be the block structure space, in the sense of surgery theory, of the projective space of V. Continuing a program launched in part I, we investigate F as a functor on…

Every right adjoint functor between presentable $\infty$-categories is shown to decompose canonically as a coreflection, followed by, possibly transfinitely many, monadic functors. Furthermore, the coreflection part is given a presentation…

Using the orbifold KZ connection we construct a functor from an affine parabolic category O of type A to the category O of a cyclotomic rational double affine Hecke algebra. We give several results concerning this functor.

This is the first paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In this paper, we lay the foundations for this study by introducing the…

We show that if $\mathcal{T}$ is any Hausdorff topology on ${\omega}_{1}$, then any subset of ${\omega}_{1}$ which is homeomorphic to the rationals under $\mathcal{T}$ can be refined to a homeomorphic copy of the rationals on which…

An operator theoretic approach to orthogonal rational functions on the unit circle with poles in its exterior is presented in this paper. This approach is based on the identification of a suitable matrix representation of the multiplication…

A class of ordered relational topological spaces is described, which we call orthomodular spaces. Our construction of these spaces involves adding a topology to the class of orthomodular frames introduced by Hartonas, along the lines of…

We derive an explicit isomorphism between the Hilbert modular group and certain congruence subgroups on the one hand and particular subgroups of the special orthogonal group $SO(2, 2)$ on the other hand. The proof is based on an application…

We present a formal model developed to reason about topologies created by sensor ranges. This model is used to formalise the topological aspects of an existing counting algorithm to estimate the number of targets in the area covered by the…

What is ergonomic syntax for relations? In this first paper in a series of two, to answer the question we define regular calculi: a suitably structured functor from a category representing the syntax of regular logic to the category of…

We present an efficient method to compute the modular extension of both fermionic topological orders and $\mathbb{Z}_2$-symmetric bosonic topological orders in two spatial dimensions, basing on congruence representations of…

Goodwillie's calculus of homotopy functors associates a tower of polynomial approximations, the Taylor tower, to a functor of topological spaces over a fixed space. We define a new tower, the varying center tower, for functors of categories…

Representations of vertex operator algebras define sheaves of coinvariants and conformal blocks on moduli of stable pointed curves. Assuming certain finiteness and semisimplicity conditions, we prove that such sheaves satisfy the…

Let A be a local conformal net of factors on the circle with the split property. We provide a topological construction of soliton representations of the tensor product of n copies of A, that restrict to true representations of subnet…

This paper deals with topos-theoretic truth-value valuations of quantum propositions. Concretely, a mathematical framework of a specific type of modal approach is extended to the topos theory, and further, structures of the obtained…

We study the circumstances under which one can reconstruct a stack from its associated functor of isomorphism classes. This is possible surprisingly often: we show that many of the standard examples of moduli stacks are determined by their…

The category of rational SO(2)-equivariant spectra admits an algebraic model. That is, there is an abelian category A(SO(2)) whose derived category is equivalent to the homotopy category of rational SO(2)-equivariant spectra. An important…

For any rigid presentation $e$, we construct an orthogonal projection functor to ${\rm rep}(e^\perp)$ left adjoint to the natural embedding. We establish a bijection between presentations in ${\rm rep}(e^\perp)$ and presentations compatible…