Results 71 to 80 of about 70,846 (249)
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
Characterizing Van Kampen Squares via Descent Data [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Categories in which cocones satisfy certain exactness conditions w.r.t. pullbacks are subject to current research activities in theoretical computer science.
Harald König, Uwe Wolter, Michael Löwe
doaj +1 more source
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
Modeling (∞,1)$(\infty,1)$‐categories with Segal spaces
Bulletin of the London Mathematical Society, Volume 58, Issue 1, January 2026.Abstract In this paper, we construct a model structure for (∞,1)$(\infty,1)$‐categories on the category of simplicial spaces, whose fibrant objects are the Segal spaces. In particular, we show that it is Quillen equivalent to the models of (∞,1)$(\infty,1)$‐categories given by complete Segal spaces and Segal categories.
Lyne Moser, Joost Nuiten
wiley +1 more source
The Weil descent functor in the category of algebras with free operators [PDF]
, 2023 Shezad Mohamed
openalex +1 more source
Hinich's model for Day convolution revisited
Bulletin of the London Mathematical Society, Volume 58, Issue 1, January 2026.Abstract We prove that Hinich's construction of the Day convolution operad of two O$\mathcal {O}$‐monoidal ∞$\infty$‐categories is an exponential in the ∞$\infty$‐category of ∞$\infty$‐operads over O$\mathcal {O}$, and use this to give an explicit description of the formation of algebras in the Day convolution operad as a bivariant functor.
Christoph Winges
wiley +1 more source
Quasi-uniform structures and functors [PDF]
, 2023 Minani Iragi, David Holgate
openalex +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
Module structure of Weyl algebras
Journal of the London Mathematical Society, Volume 113, Issue 1, January 2026.Abstract The seminal paper (Stafford, J. Lond. Math. Soc. (2) 18 (1978), no. 3, 429–442) was a major step forward in our understanding of Weyl algebras. Beginning with Serre's Theorem on free summands of projective modules and Bass' Stable Range Theorem in commutative algebra, we attempt to trace the origins of this work and explain how it led to ...
Gwyn Bellamy
wiley +1 more source
A simplification functor for coalgebras
International Journal of Mathematics and Mathematical Sciences, 2006 For an arbitrary-type functor F, the notion of split coalgebras, that is, coalgebras for which the canonical projections onto the simple factor split, generalizes the well-known notion of simple coalgebras. In case F weakly preserves kernels, the passage
Maurice Kianpi, Celestin Nkuimi Jugnia
doaj +1 more source