Related papers: Elementwise semantics in categories with pull-back…
The central topic is this question: is a given $k$-\'etale algebra $\prod_lE_l/k$ the specialization of a given $k$-cover $f:X\rightarrow B$ at some point $t_0\in B(k)$? Our main tool is a {\it twisting lemma} that reduces the problem to…
Factorization is the central ingredient in any theoretical prediction for collider experiments. We introduce a factorization formalism that can be applied to any desired observable, like event shapes or jet observables, for any number of…
We define and study jets of flat partial connections in the setting of smooth foliations and flat partial connections on locally free sheaves. In the case of codimension one foliations, we apply this definition to characterize transversely…
Restriction categories were established to handle maps that are partially defined with respect to composition. Tensor topology realises that monoidal categories have an intrinsic notion of space, and deals with objects and maps that are…
The phenomenology of jets associated with a variety of black hole systems is summarized, emphasizing the constraints imposed on their origin. Models of jet formation are reviewed, focusing in particular on recent ideas concerning MHD…
We examine the use of classes to formulate several categorical notions. This leads to two proposals: an explicit structure for working with subobjects, and a hierarchy of $k$-classes. We apply the latter to both ordinary and higher…
This paper presents meta-logical investigations based on category theory using the proof assistant Isabelle/HOL. We demonstrate the potential of a free logic based shallow semantic embedding of category theory by providing a formalization…
We generalize the motivic incarnation morphism from the theory of arithmetic integration to the relative case, where we work over a base variety S over a field k of characteristic zero. We develop a theory of constructible effective Chow…
We define a monoidal semantics for algebraic theories. The basis for the definition is provided by the analysis of the structural rules in the term calculus of algebraic languages. Models are described both explicitly, in a form that…
We give criteria for the existence of a Serre functor on the derived category of a gauged Landau-Ginzburg model. This is used to provide a general theorem on the existence of an admissible (fractional) Calabi-Yau subcategory of a gauged…
We classify the propositional modal validities arising from the category of sets under its natural classes of morphisms. The resulting validities depend on the morphism class, the size of the world, and the permitted substitution instances.…
There are some recent approaches and results about the use of answer-set programming for specifying counterfactual interventions on entities under classification, and reasoning about them. These approaches are flexible and modular in that…
We develop a second-order extension of intuitionistic modal logic, allowing quantification over propositions, both syntactically and semantically. A key feature of second-order logic is its capacity to define positive connectives from the…
This is a short introduction to categories with some emphasis on coalgebras. We start from introducing basic notions (categories, functors, natural transformations), move to Kleisli tripels and monads, with a short discussion of monads in…
We study the categories of discrete modules for topological rings arising as the rings of operations in various kinds of topological K-theory. We prove that for these rings the discrete modules coincide with those modules which are locally…
We prove a conjecture of Crapo and Penne which characterizes isotopy classes of skew configurations with spindle-structure. We use this result in order to define an invariant, spindle-genus, for spindle-configurations. We also slightly…
I discuss the one jet inclusive jet cross section, d sigma /dE_T emphasizing the concept of infrared safety and the cone definition of jets. Then I estimate the size of power corrections to the jet cross section, which become important at…
The theory of Weil-Stark elements is used to develop an axiomatic approach to the formulation of refined versions of Stark's Conjecture. This gives concrete new results concerning leading terms of Artin $L$-series and arithmetic properties…
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other logical theory, action theories may also evolve, and thus…
This chapter uses categorical techniques to describe relations between various sets of operators on a Hilbert space, such as self-adjoint, positive, density, effect and projection operators. These relations, including various…