Results 51 to 60 of about 94,018 (202)

Reflexivity in Derived Categories

, 2009
An adjoint pair of contravariant functors between abelian categories can be extended to the adjoint pair of their derived functors in the associated derived categories.
Mantese, Francesca, Tonolo, Alberto
core   +1 more source

The homunculus brain and categorical logic

Zagadnienia Filozoficzne w Nauce, 2020
The interaction between syntax (formal language) and its semantics (meanings of language) is one which has been well studied in categorical logic. The results of this particular study are employed to understand how the brain is able to create meanings ...
Steve Awodey, Michał Heller
doaj  

Transpension: The Right Adjoint to the Pi-type [PDF]

Logical Methods in Computer Science
Presheaf models of dependent type theory have been successfully applied to model HoTT, parametricity, and directed, guarded and nominal type theory. There has been considerable interest in internalizing aspects of these presheaf models, either to make ...
Andreas Nuyts, Dominique Devriese
doaj   +1 more source

Induction and restriction as adjoint functors on representations of locally compact groups

International Journal of Mathematics and Mathematical Sciences, 1993
In this paper the Frobenius Reciprocity Theorem for locally compact groups is looked at from a category theoretic point of view.
Robert A. Bekes, Peter J. Hilton
doaj   +1 more source

The Path Algebra as a Left Adjoint Functor [PDF]

Algebras and Representation Theory, 2018
We consider an intermediate category between the category of finite quivers and a certain category of pseudocompact associative algebras whose objects include all pointed finite dimensional algebras. We define the completed path algebra and the Gabriel quiver as functors.
Kostiantyn Iusenko, John William MacQuarrie   +1 more
openaire   +3 more sources

Étale motives of geometric origin

Bulletin of the London Mathematical Society, EarlyView.
Abstract Over qcqs finite‐dimensional schemes, we prove that étale motives of geometric origin can be characterised by a constructibility property which is purely categorical, giving a full answer to the question ‘Do all constructible étale motives come from geometry?’ which dates back to Cisinski and Déglise's work.
Raphaël Ruimy, Swann Tubach
wiley   +1 more source

Moduli of finite flat torsors over nodal curves

Journal of the London Mathematical Society, Volume 112, Issue 1, July 2025.
Abstract We show that log flat torsors over a family X/S$X/S$ of nodal curves under a finite flat commutative group scheme G/S$G/S$ are classified by maps from the Cartier dual of G$G$ to the log Jacobian of X$X$. We deduce that fppf torsors on the smooth fiberss of X/S$X/S$ can be extended to global log flat torsors under some regularity hypotheses.
Sara Mehidi, Thibault Poiret
wiley   +1 more source

Preservation for generation along the structure morphism of coherent algebras over a scheme

Bulletin of the London Mathematical Society, Volume 57, Issue 6, Page 1885-1896, June 2025.
Abstract This work demonstrates classical generation is preserved by the derived pushforward along the structure morphism of a noncommutative coherent algebra to its underlying scheme. Additionally, we establish that the Krull dimension of a variety over a field is a lower bound for the Rouquier dimension of the bounded derived category associated with
Anirban Bhaduri, Souvik Dey, Pat Lank
wiley   +1 more source

On the stack of 0‐dimensional coherent sheaves: Motivic aspects

Bulletin of the London Mathematical Society, Volume 57, Issue 6, Page 1607-1649, June 2025.
Abstract Let X$X$ be a variety. In this survey, we study (decompositions of) the motivic class, in the Grothendieck ring of stacks, of the stack Cohn(X)$\mathcal {C}\hspace{-2.5pt}{o}\hspace{-1.99997pt}{h}^n(X)$ of 0‐dimensional coherent sheaves of length n$n$ on X$X$. To do so, we review the construction of the support map Cohn(X)→Symn(X)$\mathcal {C}\
Barbara Fantechi, Andrea T. Ricolfi
wiley   +1 more source

Parabolic subgroups in characteristics 2 and 3

Journal of the London Mathematical Society, Volume 111, Issue 6, June 2025.
Abstract This text brings to an end the classification of non‐reduced parabolic subgroups in positive characteristic, especially 2 and 3: they are all obtained as intersections of parabolics having maximal reduced part. We prove this result and deduce a few geometric consequences on rational projective homogeneous varieties.
Matilde Maccan
wiley   +1 more source