Related papers: Closed categories
We present a doctrinal approach to category theory, obtained by abstracting from the indexed inclusions (via discrete fibrations and opfibrations) of the left and of the right actions of X in Cat in categories over X. Namely, a "weak…
A theorem is derived which (i) provides a new class of subfactors which may be interpreted as generalized asymptotic subfactors, and which (ii) ensures the existence of two-dimensional local quantum field theories associated with certain…
It is becoming increasingly difficult for geometers and even physicists to avoid papers containing phrases like `triangulated category', not to mention derived functors. I will give some motivation for such things from algebraic geometry,…
In recent work, the authors developed a simple method of constructing topological spaces from certain well-behaved partially ordered sets -- those coming from sequences of relations between finite sets. This method associates a given poset…
In this paper, we define the notion of closed models defined by counting, and we compute their homotopy categories. We apply this construction to various categories of graphs. We show that there does not exist a closed model in the category…
There is a lot of redundancy in the usual definition of adjoint functors. We define and prove the core of what is required. First we do this in the hom-enriched context. Then we do it in the cocompletion of a bicategory with respect to…
Recent work in set theory indicates that there are many different notions of 'set', each captured by a different collection of axioms, as proposed by J. Hamkins in [Ham11]. In this paper we strive to give one class theory that allows for a…
A new construction to associate an internal category to an enriched one is presented. The key concept is that of extensive ambient category, and the construction follows the one that associates a category whose idempotents split to a given…
We define a compressed zero-divisor graph $\varTheta(K)$ of a finite commutative unital ring $K$, where the compression is performed by means of the associatedness relation. We prove that this is the best possible compression which induces…
A graph is closed when its vertices have a labeling by $[n]$ such that the binomial edge ideal $J_G$ has a quadratic Gr\"{o}bner basis with respect to the lexicographic order induced by $x_1 > \cdots > x_n > y_1> \cdots > y_n$. In this…
We define the notion of duality categories as generalization of duality groups. Two examples are treated. The first is the Serre duality in the categories of strict polynomial functors. The second concerns finite complexes. We show in…
The notion of term graph encodes a refinement of inductively generated syntax in which regard is paid to the the sharing and discard of subterms. Inductively generated syntax has an abstract expression in terms of initial algebras for…
Let $(\mathcal{A},\mathcal{E})$ be an exact category. We establish basic results that allow one to identify sub(bi)functors of $\operatorname{Ext}_{\mathcal{E}}(-,-)$ using additivity of numerical functions and restriction to subcategories.…
An alternative foundation for 2-categories is explored by studying graph-theoretically a partial operation on 2-cells named juncture, which can replace vertical and horizontal composition. Juncture is a generalized vertical composition of…
A wide variety of bidirectional data accessors, ranging from mixed optics to functor lenses, can be formalized within a unique framework-dependent optics. Starting from two indexed categories, which encode what maps are allowed in the…
In this paper we investigate the categories of braided objects, algebras and bialgebras in a given monoidal category, some pairs of adjoint functors between them and their relations. In particular we construct a braided primitive functor…
Given a DG-category A we introduce the bar category of modules Modbar(A). It is a DG-enhancement of the derived category D(A) of A which is isomorphic to the category of DG A-modules with A-infinity morphisms between them. However, it is…
For any 0-cell $B$ in a 2-category $\Bc$ we introduce the notion of adjoint algebra $\adj_B$. This is an algebra in the center of $\Bc$. We prove that, if $\ca$ is a finite tensor category, this notion applied to the 2-category of…
We propose to extend ``invertibility'' to ``regularity'' for categories in general abstract algebraic manner. Higher regularity conditions and ``semicommutative'' diagrams are introduced. Distinction between commutative and…
We exploit a decomposition of graph traversals to give a novel characterization of depth-first and breadth-first traversals as universal constructions. Specifically, we introduce functors from two different categories of edge-ordered…