相关论文: Construction of coend and the reconstruction theor…

Let $k$ be a field of characteristic $0$, let $\mathsf{C}$ be a finite split category, let $\alpha$ be a 2-cocycle of $\mathsf{C}$ with values in the multiplicative group of $k$, and consider the resulting twisted category algebra…

In this article we show how to build main aspects of our paper on globular weak $(\infty,n)$-categories, but now for the cubical geometry. Thus we define a monad on the category $\mathbb{C}\mathbb{S}ets$ of cubical sets which algebras are…

We provide conditions on a monoidal model category $\mathcal{M}$ so that the category of commutative monoids in $\mathcal{M}$ inherits a model structure from $\mathcal{M}$ in which a map is a weak equivalence or fibration if and only if it…

This thesis proposes a framework based on a notion of combinatorial cell complex (cc) whose cells are defined simply as finite sets of vertices. The cells of a cc are subject to four axioms involving a rank function that assigns a rank (or…

We develop some foundations of commutative algebra, with a view towards algebraic geometry, in symmetric tensor categories. Most results establish analogues of classical theorems, in tensor categories which admit a tensor functor to some…

$Vect(N)$, the algebra of vector fields in $N$ dimensions, is studied. Some aspects of local differential geometry are formulated as $Vect(N)$ representation theory. There is a new class of modules, {\it conformal fields}, whose…

We describe the Segal $K$-theory of the symmetric monoidal category of finite-dimensional vector spaces over a perfect field $\mathbb{F}$ together with an automorphism, or, equivalently, the group-completion of the $E_\infty$-algebra of…

It is a classical theorem that the free product of ordered groups is orderable. In this note we show that, using a method of G. Bergman, an ordering of the free product can be constructed in a functorial manner, in the category of ordered…

An old theorem of Ad\'amek constructs initial algebras for sufficiently cocontinuous endofunctors via transfinite iteration over ordinals in classical set theory. We prove a new version that works in constructive logic, using "inflationary"…

The concept of F-algebra and its representation can be extended to an arbitrary bundle. We define operations of fibered F-algebra in fiber. The paper presents the representation theory of of fibered F-algebra as well as a comparison of…

A functor from the category of directed trees with inclusions to the category of commutative C*-algebras with injective *-homomorphisms is constructed. This is used to define a functor from the category of directed graphs with inclusions to…

We construct and investigate certain (unbalanced) superalgebra structures on $\text{End}_K(V)$, with $K$ a field of characteristic $0$ and $V$ a finite dimensional $K$-vector space (of dimension $n\geq 2$). These structures are induced by a…

This is the fourth part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. In this paper (Part IV), we give constructions of the…

Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras. In particular, a general construction of a logic from an arbitrary…

In this paper we develop computational tools to study the higher algebraic $K$-theory of Green functors. We construct a spectral sequence converging to the algebraic $\mathbb{G}$-theory of any $G$-Green functor, for $G$ a cyclic $p$-group.…

Given an abelian k-linear rigid monoidal category V, where k is a perfect field, we define squared coalgebras as objects of cocompleted V tensor V (Deligne's tensor product of categories) equipped with the appropriate notion of…

In this paper we construct an analogue of Lurie's "unstraightening" construction that we refer to as the "comprehension construction". Its input is a cocartesian fibration $p \colon E \to B$ between $\infty$-categories together with a third…

We introduce a notion of ternary distributive algebraic structure, give examples, and relate it to the notion of a quandle. Classification is given for low order structures of this type. Constructions of such structures from ternary…

We study a coderivation from a cobimodule into a coalgebra. Vector cofields are defined by the action of a codual bicomodule on a coalgebra. This action is induced by a codifferential. A construction of a codual object in the category of…

Given a quasi-compact category fibered in groupoids $\mathcal{X}$ and a monoidal subcategory $\mathcal{C}$ of its category of locally free sheaves $\text{Vect}(\mathcal{X})$, we are going to introduce the stack of fiber functors…