Related papers: Stabilized profunctors and stable species of struc…

In this thesis I lift the Curry--Howard--Lambek correspondence between the simply-typed lambda calculus and cartesian closed categories to the bicategorical setting, then use the resulting type theory to prove a coherence result for…

The filtered derived category of an abelian category has played a useful role in subjects including geometric representation theory, mixed Hodge modules, and the theory of motives. We develop a natural generalization using current methods…

We introduce a general unifying framework for the investigation of pointlike sets. The pointlike functors are considered as distinguished elements of a certain lattice of subfunctors of the power semigroup functor; in particular, we exhibit…

Motivated by traces of matrices and Euler characteristics of topological spaces, we expect abstract traces in a symmetric monoidal category to be "additive". When the category is "stable" in some sense, additivity along cofiber sequences is…

We give a summary (without proofs) of the main results in the author's thesis entitled ``Construction of biclosed categories'' (University of New South Wales, Australia, 1970). This summary is reprinted directly from Report 81-0030 of the…

We survey the general theory of groupoids, groupoid actions, groupoid principal bundles, and various kinds of morphisms between groupoids in the framework of categories with pretopology. We study extra assumptions on pretopologies that are…

Let $W$ be a Coxeter group and let $\Phi^+$ be its positive roots. A subset $B$ of $\Phi^+$ is called biclosed if, whenever we have roots $\alpha$, $\beta$ and $\gamma$ with $\gamma \in \mathbb{R}_{>0} \alpha + \mathbb{R}_{>0} \beta$, if…

We develop further the theory of monoidal bicategories by introducing and studying bicategorical counterparts of the notions of a linear exponential comonad, as considered in the study of linear logic, and of a codereliction transformation,…

The aim of this paper is to study categorified algebraic structures and their pseudo- and lax homomorphisms using the framework of Lawvere $2$-theories, and more generally, (enhanced) $2$-dimensional sketches. The key notion we focus on is…

Inspired by recent work on the categorical semantics of dependent type theories, we investigate the following question: When is logical structure (crucially, dependent-product and subobject-classifier structure) induced from a category to…

Given a free and proper action of a groupoid on a Fell bundle (over another groupoid), we give an equivalence between the semidirect-product and the generalized-fixed-point Fell bundles, generalizing an earlier result where the action was…

Polynomials in a category have been studied as a generalization of the traditional notion in mathematics. Their construction has recently been extended to higher groupoids, as formalized in homotopy type theory, by Finster, Mimram, Lucas…

This paper is the first in a series in which we offer a new framework for hermitian K-theory in the realm of stable $\infty$-categories. Our perspective yields solutions to a variety of classical problems involving Grothendieck-Witt groups…

Let $n$ be a non-negative integer. {Motivated by the universal property of the stable category of Frobenius categories, the authors in \cite{bfss} extended the stabilization of Frobenius categories to $n$-Frobenius categories, and called it…

We reformulate recent advances in directed type theory--a type theory where the types have the structure of synthetic (higher) categories--as a logical calculus with multiple context 'zones', following the example of Pfenning and Davies.…

We present a bijective algorithm with which an arbitrary permutation decomposes canonically into elementary blocks which we call families, which are sets with a specified number of ascents and descents. We show that families, arranged in an…

We define a traced pseudomonoid as a pseudomonoid in a monoidal bicategory equipped with extra structure, giving a new characterisation of Cauchy complete traced monoidal categories as algebraic structures in $\mathbf{Prof}$, the monoidal…

In this paper, conformal fractional order discretization [20, 24, 25] is used to analyze bifurcation analysis and stability of a predator-prey system. A continuous model has been discretized into a discrete one while preserving the…

The bicategorical point of view provides a natural setting for many concepts in the representation theory of monoidal categories. We show that centers of twisted bimodule categories correspond to categories of 2-dimensional natural…

If $\mathbf{C}$ is a category with pullbacks then there is a bicategory with the same objects as $\mathbf{C}$, spans as morphisms, and maps of spans as 2-morphisms, as shown by Benabou. Fong has developed a theory of "decorated" cospans,…