Related papers: Construction of schemoids from posets

Given a category fibered in groupoids over schemes with a log structure, one produces a category fibered in groupoids over log schemes. We classify the groupoid fibrations over log schemes that arise in this manner in terms of a categorical…

The theory of pictures between posets is known to encode much of the combinatorics of symmetric group representations and related topics such as Young diagrams and tableaux. Many reasons, com-binatorial (e.g. since semi-standard tableaux…

We define a monoidal semantics for algebraic theories. The basis for the definition is provided by the analysis of the structural rules in the term calculus of algebraic languages. Models are described both explicitly, in a form that…

We investigate the double cosets of a groupoid, focusing primarily on their enumeration, by means of two different approaches. The first approach extends the Cauchy-Frobenius lemma to groupoids and interprets it in terms of groupoid…

This is the third installment in a series of papers on algebraic set theory. In it, we develop a uniform approach to sheaf models of constructive set theories based on ideas from categorical logic. The key notion is that of a "predicative…

We continue the investigation of tabular algebras with trace (a certain class of associative ${\Bbb Z}[v, v^{-1}]$-algebras equipped with distinguished bases) by determining the extent to which the tabular structure may be recovered from a…

Algebraic geometry for groups and Lie algebraic has been recently defined and studied by many authors on the purpose to study set defined by algebraic equations on abstract groups and Lie algebras. The purpose of this paper is to present a…

Cohomology of a compatible family of Lie algebroids defined on a family of transverse manifolds is defined. A sheaf of differential forms on a compatible family of Lie algebroids defined over regular open subsets of a simplicial complex is…

We define closed model category structures on different categories connected to the world of operad algebras over the category C(k) of (unbounded) complexes of k-modules: on the category of operads, on the category of algebras over a fixed…

We use model theoretic techniques to construct explicit first-order axiomatizations for the classes of posets that can be represented as systems of sets, where the order relation is given by inclusion, and existing meets and joins of…

In this paper we will define notion homotopy of morphisms of crossed modules of Lie algebras. Then we construct a groupoid structure of Lie crossed module morphisms and their homotopies.

When formalizing mathematics in (generalized predicative) constructive type theories, or more practically in proof assistants such as Coq or Agda, one is often using setoids (types with explicit equivalence relations). In this note we…

In arXiv:2511.04191 we constructed schemes of objects in small categories which contained a set of basepoints with local representing (localizing) objects. Here we prove that the category $\cat{Rings}$ of associative rings with unit has a…

A well-known, but often ignored issue in Yoneda-style definitions of cohomology objects via collections of $n$-step extensions (i.e., equivalence classes of exact sequences of a given length $n$ between two given objects, usually subject to…

Although contemporary model theory has been called "algebraic geometry minus fields", the formal methods of the two fields are radically different. This dissertation aims to shrink that gap by presenting a theory of logical schemes,…

B-systems are algebras (models) of an essentially algebraic theory that is expected to be constructively equivalent to the essentially algebraic theory of C-systems which is, in turn, constructively equivalent to the theory of contextual…

Cyclic poset are generalizations of cyclically ordered sets. In this paper we show that any cyclic poset gives rise to a Frobenius category over any discrete valuation ring R. The continuous cluster categories of arXiv:1209.1879 are…

We introduce decomposition complexes of posets, which generalize order complexes. The main advantage of our construction is that decomposition complexes are closed under taking products. Other special instances of this theory include nested…

The notion of a spherical space over an arbitrary base scheme is introduced as a generalization of a spherical variety over an algebraically closed field. It is studied how the sphericity condition behaves in families. In particular it is…

In this survey article, we give an introduction to the notion of a 2-Segal set and prove that 2-Segal sets are equivalent to pseudomonoids in the bicategory of spans. The proof utilizes graphical techniques for 2-Segal sets and spans that…