Related papers: On the Axiomatics of Ann-Categories
This is the author's Ph.D. Thesis. It contains results from four years of research into realizability and categorical logic. The main subjects are the axiomatisation of realizable propositions, and a characterization of realizability…
In this paper, we define indexed type theories which are related to indexed ($\infty$-)categories in the same way as (homotopy) type theories are related to ($\infty$-)categories. We define several standard constructions for such theories…
There exists a dispute in philosophy, going back at least to Leibniz, whether is it possible to view the world as a network of relations and relations between relations with the role of objects, between which these relations hold, entirely…
I review some recent work on applications of category theory to questions concerning theoretical structure and theoretical equivalence of classical field theories, including Newtonian gravitation, general relativity, and Yang-Mills…
Let $\mathcal{X}$ be a skeletally small additive category. Using the canonical equivalence between two different presentations of the free abelian category over $\mathcal{X}$, we give a new and simple characterization of definable…
Categorical structures and their pseudomaps rarely form locally presentable 2-categories in the sense of Cat-enriched category theory. However, we show that if the categorical structure in question is sufficiently weak (such as the…
This paper is concerned with the axiomatic basis of structures within Hypercompositional Algebra. It is proven that the axioms employed in the definition of numerous hypercompositional structures lack independence. Accordingly, novel…
Category theory provides an alternative to Hilbert's Formal Axiomatic method and goes beyond Mathematical Structuralism
We define a fragment of monadic infinitary second-order logic corresponding to an abstract separation property. We use this to define the concept of a separation subclass. We use model theoretic techniques and games to show that separation…
We discuss the axioms for an n-angulated category, recently introduced by Geiss, Keller and Oppermann. In particular, we introduce a higher octahedral axiom, and show that it is equivalent to the mapping cone axiom for an n-angulated…
We begin by investigating the class of commutative unital rings in which no two distinct elements divide the same elements. We prove that this class forms a finitely axiomatizable, relatively ideal distributive quasivariety, and it equals…
The term ``Boolean category'' should be used for describing an object that is to categories what a Boolean algebra is to posets. More specifically, a Boolean category should provide the abstract algebraic structure underlying the proofs in…
In this paper we give a small review of some recent results of elementary equivalence of linear and algebraic groups and our last new results of elementary equivalence of categories of modules, endomorphism rings of modules, lattices of…
We introduce basic notions in category theory to type theorists, including comprehension categories, categories with attributes, contextual categories, type categories, and categories with families along with additional discussions that are…
We prove, over any base ring, that the infinity-category of strictly unital A-infinity-categories (and strictly unital functors) is equivalent to the infinity-category of unital A-infinity-categories (and unital functors). We also identify…
In this paper we introduce and study the notion of a graded nil-good ring which is graded by a group. We investigate extensions of graded nil-good rings to graded group rings, Further, we discuss graded matrix ring extensions and trivial…
We introduce a theory for encoding and manipulating algebraic data on categories via $\textit{concentration structures}$, which are equivalence relations on morphisms that satisfy certain axioms. For any category with a concentration…
We show that, over an arbitrary commutative ring, the localizations of the categories of dg categories, of cohomologically unital, of unital and of strictly unital $A_\infty$ categories with respect to the corresponding classes of…
We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…
We prove a theorem of Hinich type on existence of a model structure on a category related by an adjunction to the category of differential graded modules over a graded commutative ring.