Related papers: Construction of schemoids from posets
The projective line over a field carries structure of a groupoid with a certain correspondence between objects and arrows. We discuss to what extent the field can be reconstructed from the groupoid.
In this paper, we investigate hypergroups which arise from association schemes in a canonical way; this class of hypergroups is called realizable. We first study basic algebraic properties of realizable hypergroups. Then we prove that two…
Two distinct structures of aggregates of atoms connected by anisotropic bonds with a network configuration are discussed from the viewpoint of a point set topology. A specific topological space connects the two types of topological…
The free algebra adjunction, between the category of algebras of a monad and the underlying category, induces a comonad on the category of algebras. The coalgebras of this comonad are the topic of study in this paper (following earlier…
Bimonoidal categories (also known as rig categories) are categories with two monoidal structures, one of which distributes over the other. We formally define sheet diagrams, a graphical calculus for bimonoidal categories that was informally…
We show how one can do algebraic geometry with respect to the category of simplicial objects in an exact category. As a biproduct, we get a theory of derived analytic geometry.
This paper introduces a categorification of $k$-algebras called 2 -algebras, where k is a commutative ring. We define the 2-algebras as a 2-category with single object in which collections of all 1-morphisms and all 2-morphisms are…
We introduce Cayley posets as posets arising naturally from pairs $S<T$ of semigroups, much in the same way that Cayley graph arises from a (semi)group and a subset. We show that Cayley posets are a common generalization of several known…
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…
The partition algebra is an associative algebra with a basis of set-partition diagrams and multiplication given by diagram concatenation. It contains as subalgebras a large class of diagram algebras including the Brauer, planar partition,…
A noetherian form is an abstract self-dual framework suitable for establishing homomorphism theorems (such as the isomorphism theorems and homological diagram lemmas) for group-like structures. In this paper we identify and carry out an…
We give a completely formalized definition of a notion of " general manifold ". It turns out that " gluing data " form an equivalence-partially ordered set (e-pos), which is a special instance of an ordered groupoid. We state and prove…
We first study commutative, pointed monoids providing basic definitions and results in a manner similar commutative ring theory. Included are results on chain conditions, primary decomposition as well as normalization for a special class of…
Multimodal normal incestual systems are investigated in terms of multiple categories. The different sorted composition of operators are exhibited as 2-cells in multiple categories built up from 2-categories giving rise to different axioms.…
The fundamental groupoid of a space becomes enriched over the category of topological spaces when the hom-sets are endowed with topologies intimately related to universal constructions of topological groups. This paper is devoted to a…
We present a construction of skew monoidal structures from strong actions. We prove that the existence of a certain adjoint allows one to equip the actegory with a skew monoidal structure and that this adjunction becomes monoidal. This…
A combinatorial object representing schemas of, possibly skew, perspectives, called {\em a configuration of skew perspective} is defined. Some classifications of skew perspectives are presented.
The homotopy type of the complement of a complex coordinate subspace arrangement is studied by fathoming out the connection between its topological and combinatorial structures. A family of arrangements for which the complement is homotopy…
Poisson algebra is usually defined to be a commutative algebra together with a Lie bracket, and these operations are required to satisfy the Leibniz rule. We describe Poisson structures in terms of a single bilinear operation. This enables…
We define a family of structures called "opetopic algebras", which are algebraic structures with an underlying opetopic set. Examples of such are categories, planar operads, and Loday's combinads over planar trees. Opetopic algebras can be…