Related papers: Lax familial representability and lax generic fact…
Some basic features of the simultaneous inclusion of discrete fibrations and discrete opfibrations in categories over a base category X are considered. In particular, we illustrate the formulas (|P)x = ten(x/X,P) ; (P|)x = hom(X/x,P) which…
For a coisotropic (or first-class) submanifold C of a Poisson manifold X we consider star-products for which the vanishing ideal I of C becomes a left ideal in the deformed algebra thus defining a left module structure on the space of…
The main result of this paper is a structural theorem for projective Q-factorial toric varieties X in P^N, covered by lines. We prove that there exists a toric fibration f: X -> Z, locally trivial in the Zariski topology, with fiber a…
Let (G,d) be a first order differential *-calculus on a *-algebra A. We say that a pair (\pi,F) of a *-representation \pi of A on a dense domain D of a Hilbert space and a symmetric operator F on D gives a commutator representation of G if…
Consider a partial flag variety $X$ which is not a grassmaninan. Consider also its cohomology ring ${\rm H}^*(X,\ZZ)$ endowed with the base formed by the Poincar\'e dual classes of the Schubert varieties. In \cite{Richmond:recursion}, E.…
For a broad class of Frechet-Lie supergroups we prove that there exists a correspondence between positive definite smooth superfunctions and matrix coefficients of unitary representations. We also give a characterization of linear…
We construct a canonical pseudofunctor ^# on the category of finite-type maps of (say) connected noetherian universally catenary finite-dimensional separated schemes, taking values in the category of Cousin complexes. This pseudofunctor is…
This is a study on pattern Hopf algebras in combinatorial structures. We introduce the notion of combinatorial presheaf, by adapting the algebraic framework of species to the study of substructures in combinatorics. Afterwards, we consider…
We develop and investigate a general theory of representations of second-order functionals, based on a notion of a right comodule for a monad on the category of containers. We show how the notion of comodule representability naturally…
A family of regularization functionals is said to admit a linear representer theorem if every member of the family admits minimizers that lie in a fixed finite dimensional subspace. A recent characterization states that a general class of…
In this paper we show that if $\mathscr{C}$ is a category and if $F\colon\mathscr{C}^{\operatorname{op}} \to \mathfrak{Cat}$ is a pseudofunctor such that for each object $X$ of $\mathscr{C}$ the category $F(X)$ is a tangent category and for…
Finite dynamical systems (FDSs) are commonly used to model systems with a finite number of states that evolve deterministically and at discrete time steps. Considered up to isomorphism, those correspond to functional graphs. As such, FDSs…
In further study of the application of crossed-product functors to the Baum-Connes Conjecture, Buss, Echterhoff, and Willett introduced various other properties that crossed-product functors may have. Here we introduce and study analogues…
Expanding on the comprehensive factorization of functors internal to a category C, under fairly mild conditions on a monad T on C we establish that this orthogonal factorization system exists even in Burroni's category Cat(T) of (internal)…
We consider a general framework for integrable hierarchies in Lax form and derive certain universal equations from which `functional representations' of particular hierarchies (like KP, discrete KP, mKP, AKNS), i.e. formulations in terms of…
Category theory has foundational importance because it provides conceptual lenses to characterize what is important in mathematics. Originally the main lenses were universal mapping properties and natural transformations. In recent decades,…
We define and discuss lax and weighted colimits of diagrams in $\infty$-categories and show that the coCartesian fibration associated to a functor is given by its lax colimit. A key ingredient, of independent interest, is a simple…
One goal of applied category theory is to better understand networks appearing throughout science and engineering. Here we introduce "structured cospans" as a way to study networks with inputs and outputs. Given a functor $L \colon…
A coextensive category can be defined as a category $\mathcal{C}$ with finite products such that for each pair $X,Y$ of objects in $\mathcal{C}$, the canonical functor $\times\colon X/\mathcal{C} \times Y/\mathcal{C} \to (X \times…
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,…