Related papers: Codensity Lifting of Monads and its Dual
We present general techniques for constructing functorial factorizations appropriate for model structures that are not known to be cofibrantly generated. Our methods use "algebraic" characterizations of fibrations to produce factorizations…
In a category $\mathcal{C}$ with a proper $(\mathcal{E}, \mathcal{M})$-factorization system, we study the notions of strict, co-strict, initial and final morphisms with respect to a topogenous order. Besides showing that they allow…
Some years ago, Borcherds described in [Bo1] two methods for constructing modular forms on modular varieties related to the orthogonal group ${\O}(2,n)$. They are the so called Borcherds' additive and multiplicative lifting. The…
This article is devoted to the investigation of the deformation (twisting) of monoidal structures, such as the associativity constraint of the monoidal category and the monoidal structure of monoidal functor. The sets of twistings have a…
In various subjects including mathematics, one can hope to use mathematical thinking well when the right kinds of algebraic structure to consider can be discovered or spotted. Therefore, it would help to understand kinds of algebraic…
Interest in weak cubical n-categories arises in various contexts, in particular in topological field theories. In this paper, we describe a concept of double bicategory, namely a strict model of the theory of bicategories in Bicat. We show…
In this paper we consider the classification of minimal cellular structures of spaces of topological complexity two under some hypotheses on there graded cohomological algebra. This continues the method used by M.Grant et al. in [1].
We introduce a new way of encoding general topology in second order arithmetic that we call hybrid maximal filter (hybrid MF) spaces. This notion is a modification of the notion of a proper MF space introduced by Montalb\'an. We justify the…
To study problems involving heights as, eg, Manin's conjecture on the number of points of bounded height on an algebraic variety defined over a number field, it is desirable to have a good normalization of these height functions. We show…
In 1997, Hofmann and Streicher introduced an explicit construction to lift a Grothendieck universe from the category of sets into the category of set-valued presheaves on a small category. More recently, Awodey presented an elegant…
Lifting methods allow to transform hard variational problems such as segmentation and optical flow estimation into convex problems in a suitable higher-dimensional space. The lifted models can then be efficiently solved to a global optimum,…
The category Rel(Set) of sets and relations can be described as a category of spans and as the Kleisli category for the powerset monad. A set-functor can be lifted to a functor on Rel(Set) iff it preserves weak pullbacks. We show that these…
Given the L-series of a half-integral weight cusp form, we construct a cohomology class with coefficients in a finite dimensional vector space in a way that parallels the Eichler cohomology in the integral weight case. We also define a lift…
It has been common wisdom among mathematicians that Extended Topological Field Theory in dimensions higher than two is naturally formulated in terms of n-categories with n> 1. Recently the physical meaning of these higher categorical…
In this note we describe conditions under which the algebras for a monad on a presheaf category equipped with some additional structure are fibrant objects in a model structure. We also prove that when these conditions are satisfied the…
We describe a version of the FGLM algorithm that can be used to compute generic fibers of positive-dimensional polynomial ideals. It combines the FGLM algorithm with a Hensel lifting strategy. In analogy with Hensel lifting, we show that…
An extension of order theory is presented that serves as a formalism for the study of dendroidal sets analogously to way the formalism of order theory is used in the study of simplicial sets.
The notion of retrocell in a double category with companions is introduced and its basic properties established. Explicit descriptions in some of the usual double categories are given. Monads in a double category provide an important…
In this article, the author analyses distributive and mixed distributive laws and some of their equivalences through the use of 2-adjunctions of the type $\Adj$-$\Mnd$. As far as the distributive laws are concerned, the equivalence between…
We extend Barwick's and Haugseng's construction of the double $\infty$-category of spans in a pullback-complete $\infty$-category $\mathfrak{C}$ to more general shapes: for a large class of algebraic patterns $\mathfrak{P}$, we define a…