Related papers: A Kuroda-style j-translation
$\tau$-tilting theory can be thought of as a generalization of the classical tilting theory which allows mutations at any indecomposable summand of a support $\tau$-tilting pair. Indeed, for any algebra $\Lambda$ its tilting modules…
We generalise sheaf models of intuitionistic logic to univalent type theory over a small category with a Grothendieck topology. We use in a crucial way that we have constructive models of univalence, that can then be relativized to any…
In a previous publication, we introduced an abstract logic via an abstract notion of quantifier. Drawing upon concepts from categorical logic, this abstract logic interprets formulas from context as subobjects in a specific category, e.g.,…
Sub-sub-intuitionistic logic is obtained from intuitionistic logic by weakening the implication and removing distributivity. It can alternatively be viewed as conditional weak positive logic. We provide semantics for sub-sub-intuitionistic…
We construct an internal language for cartesian closed bicategories. Precisely, we introduce a type theory modelling the structure of a cartesian closed bicategory and show that its syntactic model satisfies an appropriate universal…
We define the notion of a model of higher-order modal logic in an arbitrary elementary topos $\mathcal{E}$. In contrast to the well-known interpretation of (non-modal) higher-order logic, the type of propositions is not interpreted by the…
We construct a topos of quantum sets and embed into it the classical topos of sets. We show that the internal logic of the topos of sets, when interpreted in the topos of quantum sets, provides the Birkhoff-von Neumann quantum propositional…
By using the representational power of Chu spaces we define the notion of a generalized topological space (or GTS, for short), i.e., a mathematical structure that generalizes the notion of a topological space. We demonstrate that these…
This paper is devoted to the generalization of the theory of total positivity. We say that a linear operator A in R^n is generalized totally positive (GTP), if its jth exterior power preserves a proper cone K_j in the corresponding space…
A nonlocal generalization of Einstein's theory of gravitation is constructed within the framework of the translational gauge theory of gravity. In the linear approximation, the nonlocal theory can be interpreted as linearized general…
We employ a propagator technique to derive a new relativistic $1/\qq$ expansion of the structure function of a nucleus, composed of point-nucleons. We exploit non-relativistic features of low-momentum nucleons in the target and only treat…
We introduce judgemental theories and their calculi as a general framework to present and study deductive systems. As an exemplification of their expressivity, we approach dependent type theory and natural deduction as special kinds of…
This is a survey article on Morse theory based on lectures to graduate students and advanced undergraduates. After a brief review of standard material, mostly without proofs, the Morse theory of complex Grassmannian manifolds is worked out…
This paper presents a type theory in which it is possible to directly manipulate $n$-dimensional cubes (points, lines, squares, cubes, etc.) based on an interpretation of dependent type theory in a cubical set model. This enables new ways…
The formalism of quantum theory over discrete systems is extended in two significant ways. First, quantum evolutions are generalized to act over entire network configurations, so that nodes may find themselves in a quantum superposition of…
In this paper, we construct an equivariant coarse homology theory with values in the category of non-commutative motives of Blumberg, Gepner and Tabuada, with coefficients in any small additive category. Equivariant coarse K-theory is…
We recast the action principle of four dimensional General Relativity so that it becomes amenable for perturbation theory which doesn't break general covariance. The coupling constant becomes dimensionless (G_{Newton} \Lambda) and extremely…
The boxdot conjecture asserts that every normal modal logic that faithfully interprets T by the well-known boxdot translation is in fact included in T. We confirm that the conjecture is true. More generally, we present a simple semantic…
Distributional text clustering delivers semantically informative representations and captures the relevance between each word and semantic clustering centroids. We extend the neural text clustering approach to text classification tasks by…
The modern way to understand symmetries of a quantum field theory is via its topological defects in various dimensions. In this contribution to the proceedings we focus on line defects in 2d QFT and we point out that topological defects…