Results 31 to 40 of about 19,289 (184)
Topological spaces versus frames in the topos of $M$-sets [PDF]
Categories and General Algebraic Structures with ApplicationsIn this paper we study topological spaces, frames, and their confrontation in the presheaf topos of $M$-sets for a monoid $M$. We introduce the internalization, of the frame of open subsets for topologies, and of topologies of points for frames, in our ...
Mojgan Mahmoudi, Amir H. Nejah
doaj +1 more source
A Formula for the Geometric Jacquet Functor and its Character Sheaf Analogue [PDF]
, 2017 Let (G,K) be a symmetric pair over the complex numbers, and let X=K\G be the corresponding symmetric space. In this paper we study a nearby cycles functor associated to a degeneration of X to MN\G, which we call the "wonderful degeneration". We show that
Chen, Tsao-Hsien, Din, Alexander Yom
core +2 more sources
Separation Axioms in Intuitionistic Fuzzy Topological Spaces
Advances in Fuzzy Systems, 2012 In this paper we have studied separation axioms , in an intuitionistic fuzzy topological space introduced by Coker. We also show the existence of functors and and observe that is left adjoint to .
Amit Kumar Singh, Rekha Srivastava
doaj +1 more source
The Heteromorphic Approach to Adjunctions: Theory and History
MathematicsMallios and Zafiris emphasize that adjoint functors, or adjunctions, are not only “ubiquitous” in category theory but also characterize the naturality of their approach to physical geometry.
David Ellerman
doaj +1 more source
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
International Journal of Mathematics and Mathematical Sciences, 2002 We develop some basic functorial techniques for the study of the categories of comodules over corings. In particular, we prove that the induction functor stemming from every morphism of corings has a left adjoint, called ad-induction functor.
J. Gómez-Torrecillas
doaj +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
Pivotal tricategories and a categorification of inner-product modules
, 2014 This article investigates duals for bimodule categories over finite tensor categories. We show that finite bimodule categories form a tricategory and discuss the dualities in this tricategory using inner homs.
Schaumann, Gregor
core +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
Transpension: The Right Adjoint to the Pi-type [PDF]
Logical Methods in Computer SciencePresheaf 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