Results 41 to 50 of about 1,689,750 (280)
A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS [PDF]
Journal of Symbolic Logic (JSL), 2015 Fried and Kollár constructed a fully faithful functor from the category of graphs to the category of fields. We give a new construction of such a functor and use it to resolve a longstanding open problem in computable model theory, by showing that for ...
Russell G. Miller +3 more
semanticscholar +1 more source
Adjoint relations for the category of local dcpos [PDF]
Categories and General Algebraic Structures with Applications, 2017 In this paper, we consider the forgetful functor from the category {bf LDcpo} of local dcpos (respectively, {bf Dcpo} of dcpos) to the category {bf Pos} of posets (respectively, {bf LDcpo} of local dcpos), and study the existence of its left and right ...
Bin Zhao, Jing Lu, Kaiyun Wang
doaj
Coinduction functor in representation stability theory [PDF]
Journal of the London Mathematical Society, 2015 We study the coinduction functor on the category of FI‐modules and its variants. Using the coinduction functor, we give new proofs of (generalizations of) various results on homological properties of FI‐modules.
Wee Liang Gan, Liping Li
semanticscholar +1 more source
Noncommutative Homological Mirror Functor [PDF]
Memoirs of the American Mathematical Society, 2015 We formulate a constructive theory of noncommutative Landau-Ginzburg models mirror to symplectic manifolds based on Lagrangian Floer theory. The construction comes with a natural functor from the Fukaya category to the category of matrix factorizations ...
Cheol-Hyun Cho +2 more
semanticscholar +1 more source
The augmentation category map induced by exact Lagrangian cobordisms [PDF]
, 2016 To a Legendrian knot, one can associate an $\mathcal{A}_{\infty}$ category, the augmentation category. An exact Lagrangian cobordism between two Legendrian knots gives a functor of the augmentation categories of the two knots.
Yu Pan
semanticscholar +1 more source
Induced (E,M)−structures on Topological Categories
Revista Integración, 2021 In this paper, we describe a convenient categorical structure with respect to a class of monomorphisms M and epimorphisms E for any topological category.
Juan Angoa Amador +2 more
doaj +1 more source
Homotopy theory of Moore flows (II)
Extracta Mathematicae, 2021 This paper proves that the q-model structures of Moore flows and of multipointed d-spaces are Quillen equivalent. The main step is the proof that the counit and unit maps of the Quillen adjunction are isomorphisms on the q-cofibrant objects (all objects ...
Philippe Gaucher
doaj
, 2016 Considering a (co)homology theory $\mathbb{T}$ on a base category $\mathcal{C}$ as a fragment of a first-order logical theory we here construct an abelian category $\mathcal{A}[\mathbb{T}]$ which is universal with respect to models of $\mathbb{T}$ in ...
Barbieri-Viale, L.
core +1 more source
Universal Properties in Quantum Theory [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We argue that notions in quantum theory should have universal properties in the sense of category theory. We consider the completely positive trace preserving (CPTP) maps, the basic notion of quantum channel.
Mathieu Huot, Sam Staton
doaj +1 more source
Can we repudiate ontology altogether?
Noûs, EarlyView.Abstract Ontological nihilists repudiate ontology altogether, maintaining that ontological structure is an unnecessary addition to our theorizing. Recent defenses of the view involve a sophisticated combination of highly expressive but ontologically innocent languages combined with a metaphysics of features—non‐objectual, complete but modifiable states
Christopher J. Masterman
wiley +1 more source