Results 1 to 10 of about 1,474,815 (298)
Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory [PDF]
Logical Methods in Computer Science, 2020 We describe categorical models of a circuit-based (quantum) functional programming language. We show that enriched categories play a crucial role. Following earlier work on QWire by Paykin et al., we consider both a simple first-order linear language for
Mathys Rennela, Sam Staton
doaj +3 more sources
Six model categories for directed homotopy [PDF]
Categories and General Algebraic Structures with Applications, 2021 We construct a q-model structure, an h-model structure and an m-model structure on multipointed $d$-spaces and on flows. The two q-model structures are combinatorial and left determined and they coincide with the combinatorial model structures already ...
Philippe Gaucher
doaj +1 more source
The syntactic side of autonomous categories enriched over generalised metric spaces [PDF]
Logical Methods in Computer Science, 2023 Programs with a continuous state space or that interact with physical processes often require notions of equivalence going beyond the standard binary setting in which equivalence either holds or does not hold.
Fredrik Dahlqvist, Renato Neves
doaj +1 more source
Glycemic Index Values of Pasta Products: An Overview
Foods, 2021 Durum wheat pasta is considered a low-glycemic index (GI) food. In recent years, the interest in developing enriched pasta has increased. Since both the formulation and processing technologies may affect the GI, this study aimed to investigate the GI ...
Giuseppe Di Pede +5 more
doaj +1 more source
An enriched view on the extended finitary monad--Lawvere theory correspondence [PDF]
Logical Methods in Computer Science, 2018 We give a new account of the correspondence, first established by Nishizawa--Power, between finitary monads and Lawvere theories over an arbitrary locally finitely presentable base.
Richard Garner, John Power
doaj +1 more source
Frontiers in Veterinary Science, 2021 The domestication process exerts different phenotypic plasticity between slow- and fast-growing breeds of chicken. Feed restriction has a critical role in production performance, physiological plasticity, and stress response.
Siyu Chen +16 more
doaj +1 more source
The boundary phase transitions of the 2+1D ℤ N topological order via topological Wick rotation
Journal of High Energy Physics, 2023 In this work, we show that a critical point of a 1d self-dual boundary phase transition between two gapped boundaries of the ℤ N topological order can be described by a mathematical structure called an enriched fusion category.
Yalei Lu, Holiverse Yang
doaj +1 more source
Aspects of algebraic Algebras [PDF]
Logical Methods in Computer Science, 2017 In this paper we investigate important categories lying strictly between the Kleisli category and the Eilenberg-Moore category, for a Kock-Z\"oberlein monad on an order-enriched category. Firstly, we give a characterisation of free algebras in the spirit
Dirk Hofmann, Lurdes Sousa
doaj +1 more source
One dimensional gapped quantum phases and enriched fusion categories
Journal of High Energy Physics, 2022 In this work, we use Ising chain and Kitaev chain to check the validity of an earlier proposal in arXiv:2011.02859 that enriched fusion (higher) categories provide a unified categorical description of all gapped/gapless quantum liquid phases, including ...
Liang Kong, Xiao-Gang Wen, Hao Zheng
doaj +1 more source
Logical Methods in Computer Science, 2015 An operad (this paper deals with non-symmetric operads)may be conceived as a partial algebra with a family of insertion operations, Gerstenhaber's circle-i products, which satisfy two kinds of associativity, one of them involving commutativity.
Kosta DOSEN, Zoran Petric
doaj +1 more source