Related papers: On free abelian categories for theorem proving

We show "free theorems" in the style of Wadler for polymorphic functions in homotopy type theory as consequences of the abstraction theorem. As an application, it follows that every space defined as a higher inductive type has the same…

To any well-behaved homology theory we associate a derived $\infty$-category which encodes its Adams spectral sequence. As applications, we prove a conjecture of Franke on algebraicity of certain homotopy categories and establish…

In this article we study homotopes of finite-dimensional algebras (not necessarily, associative). In the case of associative algebras we study homotopes by methods of Category theory and give description of so-called well-tempered elements…

We introduce a functor $\mathfrak{M}:\mathbf{Alg}\times\mathbf{Alg}^\mathrm{op}\rightarrow\mathrm{pro}\text{-}\mathbf{Alg}$ constructed from representations of $\mathrm{Hom}_\mathbf{Alg}(A,B\otimes ? )$. As applications, the following items…

We define inductively a sequence of purely algebraic invariants - namely, classes in the Quillen cohomology of the Pi-algebra \pi_* X - for distinguishing between different homotopy types of spaces. Another sequence of such cohomology…

A free differential for an arbitrary associative algebra is defined as a differential with a uniqueness property. The existence problem for such a differential is posed. The notion of optimal calculi for given commutation rules is…

There are many ways to present model categories, each with a different point of view. Here we'd like to treat model categories as a way to build and control resolutions. This an historical approach, as in his original and spectacular…

For an additive category $\mathbf{P}$ we provide an explict construction of a category $\mathcal{Q}( \mathbf{P} )$ whose objects can be thought of as formally representing $\frac{\mathrm{im}( \gamma )}{\mathrm{im}( \rho ) \cap \mathrm{im}(…

We describe a sufficient condition for the localization functor to be a categorical equivalence. Using this result we explain how to simplify the test for projectivity. This leads to a description of the strictly simple algebras which are…

This paper studies the homotopy theory of algebras and homotopy algebras over an operad. It provides an exhaustive description of their higher homotopical properties using the more general notion of morphisms called infinity-morphisms. The…

Evidences have suggested that counting representations are sometimes tractable even when the corresponding classification problem is almost impossible, or "wild" in a precise sense. Such counting problems are directly related to matrix…

Using the theory of coalgebra, we introduce a uniform framework for adding modalities to the language of propositional geometric logic. Models for this logic are based on coalgebras for an endofunctor on some full subcategory of the…

We extend discrete Morse-Bott theory to the setting of loop-free (or acyclic) categories. First of all, we state a homological version of Quillen's Theorem A in this context and introduce the notion of cellular categories. Second, we…

We classify, up to isomorphism and up to equivalence, involutions on graded-division finite-dimensional simple real (associative) algebras, when the grading group is abelian.

The homotopy theory of representations of nets of algebras over a (small) category with values in a closed symmetric monoidal model category is developed. We illustrate how each morphism of nets of algebras determines a change-of-net…

We classify the category of finite-dimensional real division composition algebras having a non-abelian Lie algebra of derivations. Our complete and explicit classification is largely achieved by introducing the concept of a…

Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider…

We prove the Hurewicz theorem in homotopy type theory, i.e., that for $X$ a pointed, $(n-1)$-connected type $(n \geq 1)$ and $A$ an abelian group, there is a natural isomorphism $\pi_n(X)^{ab} \otimes A \cong \tilde{H}_n(X; A)$ relating the…

We explore the connection between the notion of Hopf category and the categorification of the infinite dimensional Heisenberg algebra via graphical calculus proposed by M.Khovanov. We show that the existence of a Hopf structure on a…

We use a version of Haboush's theorem over complete local Noetherian rings to prove faithfulness of the lifting for semisimple cosemisimple Hopf algebras and separable (braided, symmetric) fusion categories from characteristic $p$ to…