Results 61 to 70 of about 837 (183)
Quantitative polynomial functors [PDF]
, 2021 We investigate containers and polynomial functors in Quantitative Type Theory, and give initial algebra semantics of inductive data types in the presence of linearity. We show that reasoning by induction is supported, and equivalent to initiality, also in the linear setting.
Nakov, Georgi +1 more
openaire +4 more sources
On descent for coalgebras and type transformations [PDF]
Categories and General Algebraic Structures with Applications, 2016 We find a criterion for a morphism of coalgebras over a Barr-exact category to be effective descent and determine (effective) descent morphisms for coalgebras over toposes in some cases.
Maurice Kianpi
doaj
Graph potentials and topological quantum field theories
Proceedings of the London Mathematical Society, Volume 132, Issue 4, April 2026.Abstract We introduce a new functional equation in birational geometry, whose solutions can be used to construct two‐dimensional topological quantum field theories (2d TQFTs), infinite‐dimensional in many interesting examples. The solutions of the equation give rise to a hierarchy of graph potentials, which, in the simplest setup, are Laurent ...
Pieter Belmans +2 more
wiley +1 more source
On an Isomorphism of Compactifications of Moduli Scheme of Vector Bundles
Моделирование и анализ информационных систем, 2015 A morphism of the reduced Gieseker - Maruyama moduli functor (of semistable coherent torsion-free sheaves) on the surface to the reduced moduli functor of admissible semistable pairs with the same Hilbert polynomial, is constructed. It is shown that main
N. V. Timofeeva
doaj +1 more source
Equivariant toric geometry and Euler–Maclaurin formulae
Communications on Pure and Applied Mathematics, Volume 79, Issue 3, Page 451-557, March 2026.Abstract We first investigate torus‐equivariant motivic characteristic classes of toric varieties, and then apply them via the equivariant Riemann–Roch formalism to prove very general Euler–Maclaurin‐type formulae for full‐dimensional simple lattice polytopes.
Sylvain E. Cappell +3 more
wiley +1 more source
Theory and Applications of Categories, 2019 A simple criterion for a functor to be finitary is presented: we call $F$ finitely bounded if for all objects $X$ every finitely generated subobject of $FX$ factorizes through the $F$-image of a finitely generated subobject of $X$. This is equivalent to $F$ being finitary for all functors between `reasonable' locally finitely presentable categories ...
Adámek, Jiří +3 more
openaire +4 more sources
Journal of the London Mathematical Society, Volume 113, Issue 3, March 2026.Abstract Number theory for positive characteristic contains analogues of the special values that were introduced by Carlitz; these include the Carlitz gamma values and Carlitz zeta values. These values were further developed to the arithmetic gamma values and multiple zeta values by Goss and Thakur, respectively.
Ryotaro Harada, Daichi Matsuzuki
wiley +1 more source
Small sunflowers and the structure of slice rank decompositions
Journal of the London Mathematical Society, Volume 113, Issue 3, March 2026.Abstract We prove that for every integer d⩾2$d \geqslant 2$, every nonnegative integer k$k$ and every finite field F$\mathbb {F}$ there exists an integer C(d,k,|F|)$C(d,k,|\mathbb {F}|)$ such that every order‐d$d$ tensor with slice rank k$k$ over F$\mathbb {F}$ admits at most C(d,k,|F|)$C(d,k,|\mathbb {F}|)$ decompositions with length k$k$, up to a ...
Thomas Karam
wiley +1 more source
Quantization of infinitesimal braidings and pre‐Cartier quasi‐bialgebras
Journal of the London Mathematical Society, Volume 113, Issue 3, March 2026.Abstract In this paper, we extend Cartier's deformation theorem of braided monoidal categories admitting an infinitesimal braiding to the nonsymmetric case. The algebraic counterpart of these categories is the notion of a pre‐Cartier quasi‐bialgebra, which extends the well‐known notion of quasi‐triangular quasi‐bialgebra given by Drinfeld.
Chiara Esposito +3 more
wiley +1 more source
Siberian Mathematical Journal, 2015 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Yi, X., Kamornikov, S. F.
openaire +1 more source