Related papers: Topologies for intermediate logics
A Frechet algebra endowed with a multiplicatively convex topology has two types of invariants: homotopy invariants (topological K-theory and periodic cyclic homology) and secondary invariants (multiplicative K-theory and the non-periodic…
Grothendieck fibrations provide a unifying algebraic framework that underlies the treatment of various form of logics, such as first order logic, higher order logics and dependent type theories. In the categorical approach to logic proposed…
We show that there is a bijection between the subtoposes of the classifying topos of a geometric theory T over a signature L and the closed geometric theories over L which are `quotients' of the theory T; next, we analyze how classical…
What makes two computational systems equivalent? Topos theory answers with classifying toposes: a system's semantic content is encoded in the geometric theory it classifies, and two presentations are equivalent when their classifying…
We study monopoles and corresponding 't Hooft tensor in a generic gauge theory. This issue is relevant to the understanding of the color confinement in terms of dual symmetry.
By contrast wih $\mathsf{S4}$, the analysis of local tabularity above $\mathsf{IPC}$ has provided a difficult challenge. This paper studies a strengthening of local tabularity -- \textit{uniform local tabularity} -- where one demands that…
A noetherian form is an abstract self-dual framework suitable for establishing homomorphism theorems (such as the isomorphism theorems and homological diagram lemmas) for group-like structures. In this paper we identify and carry out an…
We algorithmically compute integral Eilenberg-MacLane homology of all semigroups of order at most $8$ and present some particular semigroups with notable classifying spaces, refuting conjectures of Nico. Along the way, we give an…
$\nabla$-algebra is a natural generalization of Heyting algebra, unifying many algebraic structures including bounded lattices, Heyting algebras, temporal Heyting algebras and the algebraic presentation of the dynamic topological systems.…
Self-duality plays a very important role in many applications in field theories possessing topological solitons. In general, the self-duality equations are first order partial differential equations such that their solutions satisfy the…
We endow categories of non-symmetric operads with natural model structures. We work with no restriction on our operads and only assume the usual hypotheses for model categories with a symmetric monoidal structure. We also study categories…
Motivated by questions like: which spatial structures may be characterized by means of modal logic, what is the logic of space, how to encode in modal logic different geometric relations, topological logic provides a framework for studying…
Using the theory of internal algebras classifiers developed by Batanin and Berger, we construct a morphism of polynomial monads which we prove is homotopically cofinal. We then describe how this result constitutes the main conceptual…
This paper is dedicated to studying various aspects of topological defects, appearing in mean-field theory treatments of physical systems such as ultracold atomic gases and gauge field theories. We start by investigating topological charge…
We prove the existence of a smoothing for a toroidal crossing space under mild assumptions. By linking log structures with infinitesimal deformations, the result receives a very compact form for normal crossing spaces. The main approach is…
We prove completeness, interpolation, decidability and an omitting types theorem for certain multi dimensional modal logics where the states are not abstract entities but have an inner structure. The states will be sequences. Our approach…
The class of Zeeman topologies on spacetimes in the frame of relativity theory is considered to be of powerful intuitive justification, satisfying a sequence of properties with physical meaning, such as the group of homeomorphisms under…
For a path algebra $A$ over a quiver $Q$, there are bijections between the support-tilting modules of $A$, torsion classes in $\mathrm{mod}(A)$ and wide subcategories in $\mathrm{mod}(A)$; these are part of the Ingalls-Thomas bijections. As…
A brief survey of some aspects of noetherian Hopf algebras is given, concentrating on structure, homology, and classification, and accompanied by a panoply of open problems.
Motivic homotopy theory is meant to play the role of algebraic topology, in particular homotopy theory, in the context of algebraic geometry. As proved by Oliver Rondigs and Paul Arne Ostvaer, this theory is closely connected to Voevodsky's…