Results 91 to 100 of about 6,632,351 (302)
A First Step to the Categorical Logic of Quantum Programs
Entropy, 2020 The long-term goal of our research is to develop a powerful quantum logic which is useful in the formal verification of quantum programs and protocols.
Xin Sun, Feifei He
doaj +1 more source
Design and analysis strategies for robust microbiome ageing research
FEBS Letters, EarlyView.The gut microbiome changes with age and associates with age‐related morbidity and mortality, establishing it as a potential biomarker and intervention target for ageing. Realising this potential requires methodological rigour, yet distinguishing biological signals from methodological artefacts remains challenging across cohorts. This review provides an
Mark Olenik +5 more
wiley +1 more source
A characterization of central extensions in the variety of quandles
, 2017 During the last years some categorical properties of the category Qnd of quandles have been investigated. We shall first recall some of these results that will be useful for the present work, and then consider the subvariety SymQnd of Qnd consisting in ...
International Category Theory Conference 2017 +1 more
core
BuildingsAchieving robust environmental responsiveness in early stage architectural spatial layout design remains a critical challenge under the imperatives of global carbon neutrality and climate-adaptive building practice.
Rui Liu, Xiaofei Lu
doaj +1 more source
Reconstructing enzyme evolution by protein engineering
FEBS Letters, EarlyView.Natural enzyme evolution can be retraced by protein engineering methods such as directed evolution, rational design, and ancestral sequence reconstruction. These approaches reveal how enzymes emerged from ligand‐binding scaffolds, developed varying substrate preferences, formed oligomeric complexes, adapted to environmental changes, and evolved novel ...
Lukas Drexler +2 more
wiley +1 more source
Rigidity and exotic models for the K-local stable homotopy category [PDF]
, 2007 Can the model structure of a stable model category be recovered from the triangulated structure of its homotopy category? This paper introduces a new positive example for this, namely the K-local stable homotopy at the prime 2.
Roitzheim, C., Roitzheim, Constanze
core +1 more source
Formalizing Structural Semiotics: A Category-Theoretic Approach to Actantial Systems
AxiomsIn this article we present a categorical reconstruction of the actantial model introduced by A. J. Greimas in structural semiotics. Using Spivak and Kent’s framework of ontological logs and schema-based categories, the actantial system is formalized as a
Michael Fowler
doaj +1 more source
Conserved binding mode but diverse interfaces of MreC‐PBP2 interactions
FEBS Letters, EarlyView.The crystal structure of abMreC reveals a conserved two β‐barrel architecture and provides structural insights into its role within the bacterial elongasome. The abMreC–abPBP2 complex model identifies the molecular basis of MreC‐mediated PBP2 recognition, contributing to the regulation of peptidoglycan synthesis.
Hyunseok Jang +4 more
wiley +1 more source
On the category of cocommutative Hopf algebras
, 2019 In [1] we prove that the category of cocommutative Hopf algebras over any field is semi-abelian [2]. The aim of this talk is to give an idea of the proof of this result and to explain some of its consequences.
Sterck, Florence, Category theory 2019
core
Semi-Substructural Logics à la Lambek with Symmetry
Bulletin of the Section of LogicThis work studies the proof theory and ternary relational semantics of left (right) skew monoidal closed categories and skew monoidal bi-closed categories, both symmetric and non-symmetric, from the perspective of non-associative Lambek calculus ...
Cheng-Syuan Wan
doaj +1 more source