Related papers: Coherent and ideal actions in ideally exact catego…
We give an explicit description of cubic rings over a discrete valuation ring, as well as a description of all ideals of such rings.
Recursive coalgebras provide an elegant categorical tool for modelling recursive algorithms and analysing their termination and correctness. By considering coalgebras over categories of suitably indexed families, the correctness of the…
We introduce and prove the consistency of a new set theoretic axiom we call the \emph{Invariant Ideal Axiom}. The axiom enables us to provide (consistently) a full topological classification of countable sequential groups, as well as fully…
A congruence $\varepsilon$ on a semigroup $S$ is perfect if for any congruence classes $x\varepsilon$ and $y\varepsilon$ their product as subsets of $S$ coincides (as a set) with the congruence class $(xy)\varepsilon$. Perfect congruences…
The aim of this work is to study duality of fractional ideals with respect to a fixed ideal and to investigate the relationship between value sets of pairs of dual ideals in admissible rings, a class of rings that contains the local rings…
A group action on the input ring or category induces an action on the algebraic $K$-theory spectrum. However, a shortcoming of this naive approach to equivariant algebraic $K$-theory is, for example, that the map of spectra with $G$-action…
A global action is an algebraic analogue of a topological space. It consists of group actions $G_\alpha\curvearrowright X_\alpha$, $(\alpha\in\Phi)$, which fulfill a certain compatibility condition. We investigate the homotopy theory of…
We define tilting subcategories in arbitrary exact categories to archieve the following. Firstly: Unify existing definitions of tilting subcategories to arbitrary exact categories. Discuss standard results for tilting subcategories:…
We first note that, at least in perturbation theory, there is a well-defined (subject to regularization) Lorentzian definition of the quantum effective action in both flat and curved space including (perturbative) gravity. The advantage of…
Let (A,G,\alpha) be a partial dynamical system. We show that there is a bijective correspondence between G-invariant ideals of A and ideals in the partial crossed product A xr G provided the action is exact and residually topologically…
In this paper, we give semiring version of some classical results in commutative algebra related to Euclidean rings, PIDs, UFDs, G-domains, and GCD and integrally closed domains.
The rational fixed point of a set functor is well-known to capture the behaviour of finite coalgebras. In this paper we consider functors on algebraic categories. For them the rational fixed point may no longer be fully abstract, i.e. a…
Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this…
We define fully exact module categories, a subclass of exact module categories over a finite braided tensor category that is stable under the relative Deligne product. In contrast, we demonstrate with examples in both zero and non-zero…
We generalize Exel's notion of partial group action to monoids. For partial monoid actions that can be defined by means of suitably well-behaved systems of generators and relations, we employ classical rewriting theory in order to describe…
Given an ample action of an inverse semigroup on a locally compact and Hausdorff topological space, we study the ideal structure of the crossed product algebra associated with it. By developing a theory of induced ideals, we manage to prove…
Measurability with respect to ideals is tightly connected with absoluteness principles for certain forcing notions. We study a uniformization principle that postulates the existence of a uniformizing function on a large set, relative to a…
We prove undecidability and pinpoint the place in the arithmetical hierarchy for commutative action logic, that is, the equational theory of commutative residuated Kleene lattices (action lattices), and infinitary commutative action logic,…
A commutative ring is said to have ITI with respect to an ideal a if the a-torsion functor preserves injectivity of modules. Classes of rings with ITI or without ITI with respect to certain sets of ideals are identified. Behaviour of ITI…
Let k be an algebraically closed field of characteristic p>>0. Let $X\rightarrow Y$ be a symplectic resolution. There are two questions which motivates this work. One question is a construction of an action of a group on the category…