Related papers: Frobenius objects in the category of spans
The study of Frobenius algebras in the category $\mathbf{Rel}$ via their nerve functor into simplicial sets has been introduced recently. In this article, we focus on the particular case of effect algebras and pseudo effect algebras and…
We construct Frobenius structures on the $\mathbb{C}^{\times}$-bundle of the complement of a toric arrangement associated with a root system, by making use of a one-parameter family of torsion free and flat connections on it. This gives…
Since the time when the first optical instruments have been invented, an idea that the visible image of an object under observation depends on tools of observation became commonly assumed in physics. A way to formalize it in mathematics is…
In this paper we study the classifying spaces of graph products of simplicial groups and connected Hopf algebras over a field, and show that they can be uniformly treated under the framework of polyhedral products. It turns out that these…
Motivated by an attempt to better understand the notion of a symplectic stack, we introduce the notion of a symplectic hopfoid, which should be thought of as the analog of a groupoid in the so-called symplectic category. After reviewing…
Motivated by team semantics and existential second-order logic, we develop a model-theoretic framework for studying second-order objects such as sets and relations. We introduce a notion of abstract elementary team categories that…
We introduce the notion of a "category with path objects", as a slight strengthening of Kenneth Brown's classic notion of a "category of fibrant objects". We develop the basic properties of such a category and its associated homotopy…
If F is a type-definable family of commensurable subsets, subgroups or sub-vector spaces in a metric structure, then there is an invariant subset, subgroup or sub-vector space commensurable with F. This in particular applies to…
We describe a category, the objects of which may be viewed as models for homotopy theories. We show that for such models, ``functors between two homotopy theories form a homotopy theory'', or more precisely that the category of such models…
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…
This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…
We introduce a commutative associative graded algebra structure on the direct sum Z of the centers of the Hecke algebras associated to the symmetric groups in n letters for all n. As a natural deformation of the classical construction of…
Based on the intuitive notion of convexity, we formulate a universal property defining interval objects in a category with finite products. Interval objects are structures corresponding to closed intervals of the real line, but their…
In this paper we give a new foundational, categorical formulation for operations and relations and objects parameterizing them. This generalizes and unifies the theory of operads and all their cousins including but not limited to PROPs,…
The space of Frobenius manifolds has a natural involutive symmetry on it: there exists a map $I$ which send a Frobenius manifold to another Frobenius manifold. Also, from a Frobenius manifold one may construct a so-called almost dual…
We consider a subclass of the class of group-theoretical fusion categories: To every finite group $G$ and subgroup $H$ one can associate the category of $G$-graded vector spaces with a two-sided $H$-action compatible with the grading. We…
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…
Some sorts of generalized morphisms are defined from very basic mathematical objects such as sets, functions, and partial functions. A wide range of mathematical notions such as continuous functions between topological spaces, ring…
We show that the category of algebraically cofibrant objects in a combinatorial and simplicial model category A has a model structure that is left-induced from that on A. In particular it follows that any presentable model category is…
Written to be contributed as the "mathematical modeling" chapter of a book, edited by Elaine Landry, to be titled "Categories for the Working Philosopher". In this chapter, category theory is presented as a mathematical modeling framework…