Results 91 to 100 of about 9,831,323 (353)
This book provides a deep foray into category theory, presenting a unique approach to exploring diverse branches of mathematics. From the fundamentals, where the definitions of morphism, object and composition in categories are established, to the application of these concepts in real analysis, linear algebra and general topology, my purpose is to ...
+5 more sources
Equivariant Morita theory for graded tensor categories [PDF]
, 2021 César Galíndo +2 more
openalex +1 more source
Homotopy theory with *-categories
Theory and Applications of Categories, 2019 We construct model category structures on various types of (marked) *-categories. These structures are used to present the infinity categories of (marked) *-categories obtained by inverting (marked) unitary equivalences. We use this presentation to explicitly calculate the \infty-categorical G-fixed points and G-orbits for G-equivariant (marked ...
openaire +2 more sources
Time after time – circadian clocks through the lens of oscillator theory
FEBS Letters, EarlyView.Oscillator theory bridges physics and circadian biology. Damped oscillators require external drivers, while limit cycles emerge from delayed feedback and nonlinearities. Coupling enables tissue‐level coherence, and entrainment aligns internal clocks with environmental cues.
Marta del Olmo +2 more
wiley +1 more source
Level-Agnostic Representations of Interacting Agents
MathematicsThe study of the interactions among intentional agents, with rationality being the main source of intentional behavior, requires mathematical tools capable of capturing systemic effects. Here, we choose an alternative toolbox based on Category Theory. We
Fernando Tohmé, Andrés Fioriti
doaj +1 more source
, 2023 We establish and advocate for a novel branch of category theory, centered around strong dinatural transformations (herein known as "paranatural transformations"). Paranatural transformations generalize natural transformations to mixed-variant difunctors, but, unlike other such generalizations, are composable and exceptionally well-behaved.
openaire +2 more sources
Multiple ETS family transcription factors bind mutant p53 via distinct interaction regions
FEBS Letters, EarlyView.Mutant p53 gain‐of‐function is thought to be mediated by interaction with other transcription factors. We identify multiple ETS transcription factors that can bind mutant p53 and found that this interaction can be promoted by a PXXPP motif. ETS proteins that strongly bound mutant p53 were upregulated in ovarian cancer compared to ETS proteins that ...
Stephanie A. Metcalf +6 more
wiley +1 more source
Architecture, Analysis, and Design of Systems Using Extensions of Category Theory
IEEE Open Journal of Systems EngineeringThe engineering of systems has lacked the scientific and mathematical underpinnings enjoyed by traditional engineering disciplines. Earlier work of the authors formulated advanced mathematical methods for architecture definition and the use of model ...
Charles E. Dickerson +1 more
doaj +1 more source
A General Framework for the Semantics of Type Theory
, 2019 We propose an abstract notion of a type theory to unify the semantics of various type theories including Martin-L\"{o}f type theory, two-level type theory and cubical type theory.
Uemura, Taichi
core
In situ molecular organization and heterogeneity of the Legionella Dot/Icm T4SS
FEBS Letters, EarlyView.We present a nearly complete in situ model of the Legionella Dot/Icm type IV secretion system, revealing its central secretion channel and identifying new components. Using cryo‐electron tomography with AI‐based modeling, our work highlights the structure, variability, and mechanism of this complex nanomachine, advancing understanding of bacterial ...
Przemysław Dutka +11 more
wiley +1 more source