Related papers: Cubical model categories and quasi-categories
We firstly introduce some key concepts in category theory, such as quotient category, completion of limits, $\mathrm{Mor}$ category, and so on; then give the concept of topology algebras and sheaves, and discuss how to restore the structue…
Quantitative algebras are $\Sigma$-algebras acting on metric spaces, where operations are nonexpanding. Mardare, Panangaden and Plotkin introduced 1-basic varieties as categories of quantitative algebras presented by quantitative equations.…
Abelian groups having partial orderings compatible with their binary operations have long been studied in the literature. In particular, lattice-ordered abelian groups constitute a universal-algebraic variety, and thus form a category which…
Category theory is the language of homological algebra, allowing us to state broadly applicable theorems and results without needing to specify the details for every instance of analogous objects. However, authors often stray from the realm…
The complex numbers are an important part of quantum theory, but are difficult to motivate from a theoretical perspective. We describe a simple formal framework for theories of physics, and show that if a theory of physics presented in this…
These lecture notes cover 13 sessions and are presented as an e-print, intended to evolve over time. Quantum invariants do more than distinguish topological objects; they build bridges between topology, algebra, number theory and quantum…
We develop a theory of categories which are simultaneously (1) indexed over a base category S with finite products, and (2) enriched over an S-indexed monoidal category V. This includes classical enriched categories, indexed and fibered…
This paper investigates Smyth completeness of categories enriched over a quantale obtained by equipping the unit interval of real numbers with a continuous t-norm. A real-enriched category is Smyth-complete if each of its forward Cauchy…
Centers of categories capture the natural operations on their objects. Homotopy coherent centers are introduced here as an extension of this notion to categories with an associated homotopy theory. These centers can also be interpreted as…
We develop general foundations of topological algebra over a linearly topologized ring k in a format applicable to both formal schemes and analytic adic spaces. We are especially interested in determining exact closed tensor categories of…
The framework of templicial objects was put forth in arXiv:2302.02484v1 in order to develop higher categorical concepts in the presence of enrichment. In particular, quasi-categories in modules constitute a subclass of templicial modules…
Consider a diagram of quasi-categories that admit and functors that preserve limits or colimits of a fixed shape. We show that any weighted limit whose weight is a projective cofibrant simplicial functor is again a quasi-category admitting…
This paper addresses the question of how categorical symmetries act on extended operators in quantum field theory. Building on recent results in two dimensions, we introduce higher tube categories and algebras associated to higher fusion…
We study (not necessarily connected) Z-graded A-infinity-algebras and their A-infinity-modules. Using the cobar and the bar construction and Quillen's homotopical algebra, we describe the localisation of the category of A-infinity-algebras…
Fuzzy sets are the cornerstone of a non-additive uncertainty theory, namely possibility theory, and of a versatile tool for both linguistic and numerical modeling. Numerous works now combine fuzzy concepts with other scientific disciplines…
We study ideals in, and continuity of, quantaloid-enriched categories (Q-categories for short) as a 'many-valued and many-typed' generalization of domain theory. Abstractly, for any (saturated) class Phi of presheaves, we define and study…
The aim of this paper is to extend the structure theory for infinitely generated modules over tame hereditary algebras to the more general case of modules over concealed canonical algebras. Using tilting, we may assume that we deal with…
Quantum categories were introduced in [4] as generalizations of both bi(co)algebroids and small categories. We clarify details of that work. In particular, we show explicitly how the monadic definition of a quantum category unpacks to a set…
Presentations of categories are a well-known algebraic tool to provide descriptions of categories by means of generators, for objects and morphisms, and relations on morphisms. We generalize here this notion, in order to consider situations…
We define the notion of an enriched Reedy category, and show that if A is a C-Reedy category for some symmetric monoidal model category C and M is a C-model category, the category of C-functors and C-natural transformations from A to M is…