范畴论
In Enochs' relative homological dimension theory occur the so called (co)resolvent and (co)proper dimensions which are defined using proper and coproper resolutions constructed by precovers and preenvelopes, respectively. Recently, some…
Consider an exact category in the sense of Quillen. Assume that in this category every morphism has a kernel and that every kernel is an inflation. In their seminal 1982 paper, Beilinson, Bernstein and Deligne consider in this setting a…
In this paper we investigate a categorical aspect of $n$-trivial extension of a ring by a family of modules. Namely, we introduce the right (resp., left) $n$-trivial extension of a category by a family of endofunctors. Among other results,…
Lawvere observed in his celebrated work on hyperdoctrines that the set-theoretic schema of comprehension can be elegantly expressed in the functorial language of categorical logic, as a comprehension structure on the functor…
This paper presents a necessary and sufficient condition on a category with weak finite limits for its exact completion to be (locally) cartesian closed. A paper by Carboni and Rosolini already claimed such a characterisation using a…
Locality is a property of logics, based on Hanf's and Gaifman's theorems, and that was shown to be very useful in the context of finite model theory. In this paper I present a homotopic variation for locality, namely a Quillen model…
We consider compatible group structures on a $V$-category, where $V$ is a quantale, and we study the topological and algebraic properties of such groups. Examples of such structures are preordered groups, metric and ultrametric groups,…
This is a survey paper on the connection of enriched category theory over a quantale and tropical mathematics. Quantales or complete idempotent semirings, as well as matrices with coefficients in them, are fundamental objects in both…
In this article is studied the construction of free operads functor, for the symmetric and non-symmetric case. In order to do this, the operads are seen as monoids on the differential graded modules category. In the last part we show some…
Inspired by the theory of apartness relations of Scott, we establish a positive theory of dissimilarity valued in an involutive quantale $\mathsf{Q}$ without the aid of negation. It is demonstrated that a set equipped with a…
We extend all known results about transferred model structures on algebraically cofibrant and fibrant objects by working with weak model categories. We show that for an accessible weak model category there are always Quillen equivalent…
Optics are a data representation for compositional data access, with lenses as a popular special case. Hedges has presented a diagrammatic calculus for lenses, but in a way that does not generalize to other classes of optic. We present a…
In pointed braided fusion categories knowing the self-symmetry braiding of simples is theoretically enough to reconstruct the associator and braiding on the entire category (up to twisting by a braided monoidal auto-equivalence). We address…
We introduce a notion of "weak model category" which is a weakening of the notion of Quillen model category, still sufficient to define a homotopy category, Quillen adjunctions, Quillen equivalences and most of the usual construction of…
We show that for any uncountable cardinal $\lambda$, the category of sets of cardinality at least $\lambda$ and monomorphisms between them cannot appear as the category of point of a topos, in particular is not the category of models of a…
A general definition of mathematical morphology has been defined within the algebraic framework of complete lattice theory. In this framework, dealing with deterministic and increasing operators, a dilation (respectively an erosion) is an…
It is common to encounter symmetric monoidal categories $\mathcal{C}$ for which every object is equipped with an algebraic structure, in a way that is compatible with the monoidal product and unit in $\mathcal{C}$. We define this formally…
We extend the theory of Sweeder's measuring comonoids to the framework of duoidal categories: categories equipped with two compatible monoidal structures. We use one of the tensor products to endow the category of monoids for the other with…
We present (1) a new model for Peirce's full continuum (Vargas 2012-2015), based on an iterated sheaf of real numbers over all ordinal numbers, (2) a new model for Peirce's existential graphs (Oostra 2010), based on a new geometrical symbol…
The main objective of this paper is to construct a symmetric monoidal closed model category of coherently commutative monoidal quasi-categories. We construct another model category structure whose fibrant objects are (essentially) those…