Related papers: A convenient category of cubes

This work mainly concerns the -- here introduced -- category of $\mathscr Q$-sets and functional morphisms, where $\mathscr Q$ is a commutative semicartesian quantale. We describe, in detail, the limits and colimits of this complete and…

We show that a compact rigid balanced braided monoidal category with enough compact projective objects gives rise to a system of mapping class group representations compatible with the gluing along marked intervals. A motivation to consider…

We show that Martin Hyland's effective topos can be exhibited as the homotopy category of a path category $\mathbb{EFF}$. Path categories are categories of fibrant objects in the sense of Brown satisfying two additional properties and as…

We generalize some of the fundamental results of algebraic topology from topological spaces to \v{C}ech's closure spaces, also known as pretopological spaces. Using simplicial sets and cubical sets with connections, we define three distinct…

Quillen defined a {\em model category} to be a category with finite limits and colimits carrying a certain extra structure. In this paper, we show that only finite products and coproducts (in addition to the certain extra structure alluded…

In this short note, we classify linear categorified open topological field theories in dimension two by pivotal Grothendieck-Verdier categories, a type of monoidal category equipped with a weak, not necessarily rigid duality. In combination…

We try to build, provably in ZFC, for a first order T a model in which any isomorphism between two Boolean algebras is definable. The problem, compared to [Sh:384], is with pseudo-finite Boolean algebras. A side benefit is that we do not…

We determine all composition-closed equational classes of Boolean functions. These classes provide a natural generalization of clones and iterative algebras: they are closed under composition, permutation and identification…

In this paper we study compact closed categories within the context of homotopical algebra. We construct two new model category structures by localizing two (Quillen equivalent) model categories of symmetric monoidal categories with the…

** Draft Version ** To any boolean topos one can associate its category of internal Hilbert spaces, and if the topos is locally separated one can consider a full subcategory of square integrable Hilbert spaces. In both case it is a…

We show that every involutive Hopf monoid in a complete and finitely cocomplete symmetric monoidal category gives rise to invariants of oriented surfaces defined in terms of ribbon graphs. For every ribbon graph this yields an object in the…

Nonrigid mathematical structures may no longer form usual Eilenberg - Mac Lane categories, but more general ones, as illustrated by pseudo-topologies. A rather general concept of pseudo-topology was used in constructing differential…

We introduce a monoidal category whose morphisms are finite partial orders, with chosen minimal and maximal elements as source and target respectively. After recalling the notion of presentation of a monoidal category by the means of…

Triangulations and higher triangulations axiomatize the calculus of derived cokernels when applied to strings of composable morphisms. While there are no cubical versions of (higher) triangulations, in this paper we use coherent diagrams to…

We consider the maximal operator with respect to uncentered cubes on Euclidean space with arbitrary dimension. We prove that for any function with bounded variation, the variation of its maximal function is bounded by the variation of the…

In this paper we show that the (un)bounded derived categories$\colon$(i) of the monomorphism category, (ii) of the morphism category and (iii) of the double morphism category, admit a periodic infinite ladder of recollements. These results…

Monoidal categories with additional structure such as a braiding or some form of duality abound in quantum topology. They often appear in tandem with Frobenius algebras inside them. Motivations for this range from the theory of module…

We introduce a modified version of the necklace Lie bialgebra associated to a quiver, in which the bracket and cobracket insert (rather than remove) pairs of arrows in involution. This structure is then related to canonical quartic…

We introduce continuous Frobenius categories. These are topological categories which are constructed using representations of the circle over a discrete valuation ring. We show that they are Krull-Schmidt with one indecomposable object for…

In this thesis, we develop the theory of bifibrations of polycategories. We start by studying how to express certain categorical structures as universal properties by generalising the shape of morphism. We call this phenomenon…