Related papers: The Dold-Kan Correspondence and Coalgebra Structur…
We show that Koszul duality between differential graded categories and pointed curved coalgebras interchanges smooth and proper Calabi-Yau structures. This result is a generalization and conceptual explanation of the following two…
We show that the bicategory of proper correspondences is the Dwyer-Kan localisation of the category of C*-algebras at a certain class of *-homomorphisms.
One of the four well-known series of simple Lie algebras of Cartan type is the series of Lie algebras of Special type, which are divergence-free Lie algebras associated with polynomial algebras and the operators of taking partial…
We show that any closed model category of simplicial algebras over an algebraic theory is Quillen equivalent to a proper closed model category. By ``simplicial algebra'' we mean any category of algebras over a simplicial algebraic theory,…
This dissertation is devoted to a study of adjunctions concerning categories enriched over a quantaloid Q (or Q-categories for short), with the following types of adjunctions involved: (1) adjoint functors between Q-categories; (2) adjoint…
For a small quantaloid $\mathcal{Q}$, it is shown that the category of $\mathcal{Q}$-distributors and diagonals is equivalent to a quotient category of the category of $\mathcal{Q}$-interior spaces and continuous $\mathcal{Q}$-distributors.…
Differential Linear Logic (DiLL) is a sequent calculus that expresses differentiation via symmetries between linear and non-linear formulas. In this paper, we express categorical models of DiLL as a pair of Grothendieck fibrations equipped…
We construct a triangle equivalence between the singularity categories of two isolated cyclic quotient singularities of Krull dimensions two and three, respectively. This is the first example of a singular equivalence involving connected…
Let g be a simplicial Lie algebra with Moore complex Ng of length k. Let G be the simplicial Lie group integrating g, which is simply connected in each simplicial level. We use the 1-jet of the classifying space of G to construct, starting…
While many different models for $(\infty,1)$-categories are currently being used, it is known that they are Quillen equivalent to one another. Several higher-order analogues of them are being developed as models for $(\infty,…
We show that the category of simplicial sets is a co-reflective subcategory of the category of cubical sets with connections, with the inclusion given by a version of the straightening functor. We show that using the co-reflector, one can…
We extend the nonabelian Dold-Kan decomposition for simplicial groups of Carrasco and Cegarra in two ways. First, we show that the total order of the subgroups in their decomposition belongs to a family of total orders all giving rise to…
The aim of this paper is to give a categorical equivalence for Stone algebras. We introduce the variety of Stone-Kleene algebras with intuitionistic negation, or Stone KAN-algebras for short, and explore Kalman's construction for Stone…
In a previous paper, we showed that a discrete version of the $S_\bullet$-construction gives an equivalence of categories between unital 2-Segal sets and augmented stable double categories. Here, we generalize this result to the homotopical…
In this paper, we recall an alternative proof of Merel's conjecture which asserts that a certain explicit correspondence gives the isogeny relation between the Jacobians associated to the normalizer of split and non-split Cartan subgroups.…
We define and study LNL polycategories, which abstract the judgmental structure of classical linear logic with exponentials. Many existing structures can be represented as LNL polycategories, including LNL adjunctions, linear exponential…
Motivated by Kalman residuated lattices, Nelson residuated lattices and Nelson paraconsistent residuated lattices, we provide a natural common generalization of them. Nelson conucleus algebras unify these examples and further extend them to…
We show that the cohomology groups usually associated with racks and quandles agree with the Quillen cohomology groups for the algebraic theories of racks and quandles, respectively. We also explain how this makes available the entire range…
We prove that every commutative differential graded algebra whose cohomology is a simply-connected Poincare duality algebra is quasi-isomorphic to one whose underlying algebra is simply-connected and satisfies Poincare duality in the same…
In this paper we propose an approach to homotopical algebra where the basic ingredient is a category with two classes of distinguished morphisms: strong and weak equivalences. These data determine the cofibrant objects by an extension…