Related papers: Exact triangles as modules over an $A_\infty$-cate…
We develop the theory of exact completions of regular $\infty$-categories, and show that the $\infty$-categorical exact completion (resp. hypercompletion) of an abelian category recovers the connective half of its bounded (resp. unbounded)…
An elementary theory of strict $\infty $-categories with application to concrete duality is given. New examples of first and second order concrete duality are presented.
We define $A_{\infty}$-structures -- algebras, coalgebras, modules, and comodules -- in an arbitrary monoidal DG category or bicategory by rewriting their definitions in terms of unbounded twisted complexes. We develop new notions of strong…
F-manifolds are complex manifolds with a multiplication with unit on the holomorphic tangent bundle with a certain integrability condition. Here the local classification of 3-dimensional F-manifolds with or without Euler fields is pursued.
Let $A$ be the path algebra of a quiver of Dynkin type $\mathbb{A}_n$. The module category $\text{mod}\,A$ has a combinatorial model as the category of diagonals in a polygon $S$ with $n+1$ vertices. The recently introduced notion of almost…
3d mirror symmetry is a mysterious duality for certian pairs of hyperk\"ahler manifolds, or more generally complex symplectic manifolds/stacks. In this paper, we will describe its relationships with 2d mirror symmetry. This could be…
We give a complete list of indecomposable exact module categories over the finite tensor category $\mathrm{Rep}(u_q(\mathfrak{sl}_2))$ of representations of the small quantum group $u_q(\mathfrak{sl}_2)$, where $q$ is a root of unity of odd…
We define duality triples and duality pairs in compactly generated triangulated categories and investigate their properties. This enables us to give an elementary way to determine whether a class is closed under pure subobjects, pure…
We use type-theoretic techniques to present an algebraic theory of $\infty$-categories with strict units. Starting with a known type-theoretic presentation of fully weak $\infty$-categories, in which terms denote valid operations, we extend…
The moduli space of triangles is a two-dimensional space that records triangle shapes in the plane, considered up to similarity. We study the subset corresponding to \textit{lattice triangles}, which are triangles whose vertices have…
We investigate the triangle singularity $f=x^a+y^b+z^c$, or $S=k[x,y,z]/(f)$, attached to a weighted projective line $X$ given by the weight triple $(a,b,c)$. We investigate the stable category of vector bundles on $X$ obtained from the…
We give a classification of all exact structures on a given idempotent complete additive category. Using this, we investigate the structure of an exact category with finitely many indecomposables. We show that the relation of the…
We generalize the definition of an exact sequence of tensor categories due to Brugui\`eres and Natale, and introduce a new notion of an exact sequence of (finite) tensor categories with respect to a module category. We give three…
A new hierarchy of "exact" unification types is introduced, motivated by the study of admissibility for equational classes and non-classical logics. In this setting, unifiers of identities in an equational class are preordered, not by…
Our aim is to give a fairly complete account on the construction of compatible model structures on exact categories and symmetric monoidal exact categories, in some cases generalizing previously known results. We describe the close…
In this paper, we study ideal approximation theory associated to almost $n$-exact structures in extension closed subcategories of $n$-angulated categories. For $n=3$, an $n$-angulated category is nothing but a classical triangulated…
We study a form of refined class number formula (resp. type number formula) for maximal orders in totally definite quaternion algebras over real quadratic fields, by taking into consideration the automorphism groups of right ideal classes…
Essential $\aleph_0$-categoricity; i.e., $\aleph_0$-categoricity in some full countable language, is shown to be a robust notion for strongly minimal compact complex manifolds. Characterisations of triviality and essential…
One-sided exact categories appear naturally as instances of Grothendieck pretopologies. In an additive setting they are given by considering the one-sided part of Keller's axioms defining Quillen exact categories. We study one-sided exact…
We present new examples of topologically convex edge-ununfoldable polyhedra, i.e., polyhedra that are combinatorially equivalent to convex polyhedra, yet cannot be cut along their edges and unfolded into one planar piece without overlap.…