Related papers: Homotopies for Free!
We develop the viewpoint that the opposite of the category of W*-algebras and unital normal *-homomorphisms is analogous to the category of sets and functions. For each pair of W*-algebras, we construct their free exponential, which in the…
The classical theory of free analysis generalizes the noncommutative (nc) polynomials and rational functions, easily providing such results as an nc analogue of the Jacobian conjecture. However, the classical theory misses out on important…
We show that any Hamiltonian system with one degree of freedom is invariant under a $w_\infty$ algebra of symmetries.
We define a free holomorphic function to be a function that is locally a bounded nc-function. We prove that free holomorphic functions are the functions that are locally uniformly approximable by free polynomials. We prove a realization…
Given a topological group G, its orbit category Orb_G has the transitive G-spaces G/H as objects and the G-equivariant maps between them as morphisms. A well known theorem of Elmendorf then states that the category of G-spaces and the…
Higher inductive types are a class of type-forming rules, introduced to provide basic (and not-so-basic) homotopy-theoretic constructions in a type-theoretic style. They have proven very fruitful for the "synthetic" development of homotopy…
A homomorphism from a completely metrizable topological group into a free product of groups whose image is not contained in a factor of the free product is shown to be continuous with respect to the discrete topology on the range. In…
We introduce tautological system defined by prehomogenous actions of reductive algebraic groups. If the complement of the open orbit is a linear free divisor satisfying a certain finiteness condition, we show that these systems underly…
Topological free involutions on S^1xS^n are classified up to conjugation. As a byproduct we obtain a new computation of the group of concordance classes of homeomorphisms of the projective space RP^n.
It is shown that the big free group (the set of countably-long words over a countable alphabet) is almost free, in the sense that any function from the alphabet to a compact topological group factors through a homomorphism. This statement…
We introduce the notion of a logical model category which is a Quillen model category satisfying some additional conditions. Those conditions provide enough expressive power that one can soundly interpret dependent products and sums in it.…
We give an entire free holomorphic function $f$ which is unbounded on the row ball. That is, we give a holomorphic free noncommutative function which is continuous in the free topology developed by Agler and McCarthy but is unbounded on the…
This is an introductory textbook to univalent mathematics and homotopy type theory, a mathematical foundation that takes advantage of the structural nature of mathematical definitions and constructions. It is common in mathematical practice…
An appropriate framework is put forward for the construction of $\lambda$-models with $\infty$-groupoid structure, which we call \textit{homotopic $\lambda$-models}, through the use of an $\infty$-category with cartesian closure and enough…
In previous works by the authors, a bifunctor was associated to any operadic twisting morphism, taking a coalgebra over a cooperad and an algebra over an operad, and giving back the space of (graded) linear maps between them endowed with a…
In this paper it is shown that the RO(Z/2)-graded cohomology of a certain class of Rep(Z/2)-complexes, which includes projective spaces and Grassmann manifolds, is always free as a module over the cohomology of a point when the coefficient…
We define the Hardy spaces of free noncommutative functions on the noncommutative polydisc and the noncommutative ball and study their basic properties. Our technique combines the general methods of noncommutative function theory and…
We show that the monodromy theorem holds on arbitrary connected free sets for noncommutative free analytic functions. Applications are numerous-- pluriharmonic free functions have globally defined pluriharmonic conjugates, locally…
We give a computational approach to theorem proving in homological algebra. This approach is based on computations in the free abelian category of an additive category $\mathbf{A}$. We show that the free abelian category is amenable to…
We prove the conjecture that any Grothendieck $(\infty,1)$-topos can be presented by a Quillen model category that interprets homotopy type theory with strict univalent universes. Thus, homotopy type theory can be used as a formal language…