Results 11 to 20 of about 789 (269)
Oxidative modification and electrochemical inactivation of Escherichia coli upon cold atmospheric pressure plasma exposure. [PDF]
PLoS ONE, 2017 Cold atmospheric pressure plasmas (CAPPs) are known to have bactericidal effects but the mechanism of their interaction with microorganisms remains poorly understood.
Marlène Dezest +9 more
doaj +2 more sources
General affine adjunctions, Nullstellensätze, and dualities [PDF]
, 2021 We introduce and investigate a category-theoretic abstraction of the standard "system-solution" adjunction in affine algebraic geometry. We then look further into these geometric adjunctions at different levels of generality, from syntactic categories to
Olivia Caramello +3 more
core +2 more sources
Automata Minimization: a Functorial Approach [PDF]
Logical Methods in Computer Science, 2020 In this paper we regard languages and their acceptors - such as deterministic or weighted automata, transducers, or monoids - as functors from input categories that specify the type of the languages and of the machines to categories that specify the type
Thomas Colcombet, Daniela Petrişan
doaj +1 more source
ADJUNCTION AND INVERSION OF ADJUNCTION
Nagoya Mathematical Journal, 2022 AbstractWe establish adjunction and inversion of adjunction for log canonical centers of arbitrary codimension in full generality.
OSAMU FUJINO, KENTA HASHIZUME
openaire +2 more sources
Adjunction in the Absence of Identity [PDF]
Applied Categorical Structures, 2021 46 pages, many diagrams with ...
Hankyung Ko +2 more
openaire +3 more sources
LNL polycategories and doctrines of linear logic [PDF]
Logical Methods in Computer Science, 2023 We define and study LNL polycategories, which abstract the judgmental structure of classical linear logic with exponentials. Many existing structures can be represented as LNL polycategories, including LNL adjunctions, linear exponential comonads, LNL ...
Michael Shulman
doaj +1 more source
Arboreal Categories: An Axiomatic Theory of Resources [PDF]
Logical Methods in Computer Science, 2023 Game comonads provide a categorical syntax-free approach to finite model theory, and their Eilenberg-Moore coalgebras typically encode important combinatorial parameters of structures.
Samson Abramsky, Luca Reggio
doaj +1 more source
Categorical Equivalences from State-Effect Adjunctions [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 From every pair of adjoint functors it is possible to produce a (possibly trivial) equivalence of categories by restricting to the subcategories where the unit and counit are isomorphisms.
Robert Furber
doaj +1 more source
Hopf and Lie algebras in semi-additive Varieties [PDF]
Logical Methods in Computer Science, 2017 We study Hopf monoids in entropic semi-additive varieties with an emphasis on adjunctions related to the enveloping monoid functor and the primitive element functor.
Hans-E. Porst
doaj +1 more source
Relating Idioms, Arrows and Monads from Monoidal Adjunctions [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 We revisit once again the connection between three notions of computation: monads, arrows and idioms (also called applicative functors). We employ monoidal categories of finitary functors and profunctors on finite sets as models of these notions of ...
Exequiel Rivas
doaj +1 more source