Results 51 to 60 of about 1,689,750 (280)

The spin Brauer category

Forum of Mathematics, Sigma
We introduce a diagrammatic monoidal category, the spin Brauer category, that plays the same role for the spin and pin groups as the Brauer category does for the orthogonal groups.
Peter J. McNamara, Alistair Savage
doaj   +1 more source

A rigidity result for extensions of braided tensor C*-categories derived from compact matrix quantum groups

, 2010
Let G be a classical compact Lie group and G_\mu the associated compact matrix quantum group deformed by a positive parameter \mu (or a nonzero and real \mu in the type A case).
Pinzari, Claudia, Roberts, John E.
core   +1 more source

Mathematics and the Brain: A Category Theoretical Approach to Go Beyond the Neural Correlates of Consciousness

Entropy, 2019
Consciousness is a central issue in neuroscience, however, we still lack a formal framework that can address the nature of the relationship between consciousness and its physical substrates.
G. Northoff, Naotsugu Tsuchiya, H. Saigo
semanticscholar   +1 more source

The family Floer functor is faithful [PDF]

, 2014
Family Floer theory yields a functor from the Fukaya category of a symplectic manifold admitting a Lagrangian torus fibration to a (twisted) category of perfect complexes on the mirror rigid analytic space.
M. Abouzaid
semanticscholar   +1 more source

The Category of Matroids [PDF]

Applied Categorical Structures, 2015
The structure of the category of matroids and strong maps is investigated: it has coproducts and equalizers, but not products or coequalizers; there are functors from the categories of graphs and vector spaces, the latter being faithful and having a ...
C. Heunen, Vaia Patta
semanticscholar   +1 more source

The I in logic

Theoria, EarlyView.
Abstract This paper argues for the significance of Kaplan's logic LD in two ways: first, by looking at how logic got along before we had LD, and second, by using it to bring out the similarity between David Hume's thesis that one cannot deduce claims about the future on the basis of premises only about the past, and the so‐called "essentiality" of the ...
Gillian Russell
wiley   +1 more source

Relation Liftings on Preorders and Posets

, 2012
The category Rel(Set) of sets and relations can be described as a category of spans and as the Kleisli category for the powerset monad. A set-functor can be lifted to a functor on Rel(Set) iff it preserves weak pullbacks.
Bozzon, A., Ceri, S., Della Valle, E, Horrocks, I., Krötzsch, M., Schlobach, K.S.   +5 more
core   +1 more source

Revisiting (∞,2)${(\infty,2)}$‐naturality of the Yoneda embedding

Bulletin of the London Mathematical Society, EarlyView.
Abstract We show that the Yoneda embedding ‘is’ (∞,2)$(\infty,2)$‐natural with respect to the functoriality of presheaves via left Kan extension, refining the (∞,1)$(\infty,1)$‐categorical result proven independently by Haugseng–Hebestreit–Linskens–Nuiten and Ramzi, and answering a question of Ben‐Moshe.
Tobias Lenz
wiley   +1 more source

Geometrical properties of the space of idempotent probability measures

Applied General Topology, 2021
Although traditional and idempotent mathematics are "parallel'', by an application of the category theory we show that objects obtained the similar rules over traditional and idempotent mathematics must not be "parallel''.
Kholsaid Fayzullayevich Kholturayev
doaj   +1 more source

An ordered framework for partial multivalued functors

, 2015
The category Rel of sets and relations intimately ties the notions of function, partial multivalued function, and direct image under a function through the description of Rel as the Kleisli category of the covariant power set functor on Set. We present a
Chand, Alveen, Weiss, Ittay
core   +1 more source