Related papers: General 2-Dimensional Adjunctions, Universal Monad…
This chapter describes interrelations between: (1) algebraic structure on sets of scalars, (2) properties of monads associated with such sets of scalars, and (3) structure in categories (esp. Lawvere theories) associated with these monads.…
Lorentz covariant generalisations of the notions of supersymmetry, superspace and self-duality are discussed. The essential idea is to extend standard constructions by allowing tangent vectors and coordinates which transform according to…
We generalise Wesson's procedure, whereby vacuum $(4+1)-$dimensional field equations give rise to $(3+1)-$dimensional equations with sources, to arbitrary dimensions. We then employ this generalisation to relate the usual…
2-Theories are a canonical way of describing categories with extra structure. 2-theory-morphisms are used when discussing how one structure can be replaced with another structure. This is central to categorical coherence theory. We place a…
Just as links may be algebraically described as certain morphisms in the category of tangles, compact surfaces smoothly embedded in R^4 may be described as certain 2-morphisms in the 2-category of `2-tangles in 4 dimensions'. In this…
Using the differential calculus on discrete group, we study the general relativity in the space-time which is the product of a four dimensional manifold by a two-point space. We generalize the usual concept of frame and connection in our…
The category of all monads over many-sorted sets (and over other "set-like" categories) is proved to have coequalizers and strong cointersections. And a general diagram has a colimit whenever all the monads involved preserve monomorphisms…
I consider an extension of General Relativity by an auxiliary non-dynamical dimension that enables our space-time to acquire an extrinsic curvature. Obtained gravitational equations, without or with a cosmological constant, have a…
In this technical report we describe a general class of monoids for which (sub)sequential rational can be characterised in terms of a congruence relation in the flavour of Myhill-Nerode relation. The class of monoids that we consider can be…
We give the most general conditions to date which lead to uniqueness of the general relativistic Hamiltonian. Namely, we show that all spatially covariant generalizations of the scalar constraint which extend the standard one while…
The method of monodromy is an important tool for computing Virasoro conformal blocks in a two-dimensional Conformal Field Theory (2d CFT) at large central charge and external dimensions. In deriving the form of the monodromy problem, which…
Delta lenses are a kind of morphism between categories which are used to model bidirectional transformations between systems. Classical state-based lenses, also known as very well-behaved lenses, are both algebras for a monad and coalgebras…
Chern--Simons type Lagrangians in $d=3$ dimensions are analyzed from the point of view of their covariance and globality. We use the transgression formula to find out a new fully covariant and global Lagrangian for Chern--Simons gravity:…
A classical theorem of Fritz John allows one to describe a convex body, up to constants, as an ellipsoid. In this article we establish similar descriptions for generalized (i.e. multidimensional) arithmetic progressions in terms of proper…
We revisit universal features of duality in linear and nonlinear relativistic scalar and Abelian 1-form theories with single or multiple fields, which exhibit ordinary or generalized global symmetries. We show that such global symmetries…
We develop a theory of adjunctions in semigroup categories, i.e. monoidal categories without a unit object. We show that a rigid semigroup category is promonoidal, and thus one can naturally adjoin a unit object to it. This extends the…
Two dimensional gravity with torsion is proved to be equivalent to special types of generalized 2d dilaton gravity. E.g. in one version, the dilaton field is shown to be expressible by the extra scalar curvature, constructed for an…
Given an adjoint pair of functors $F,G$, the composite $GF$ naturally gets the structure of a monad. The same monad may arise from many such adjoint pairs of functors, however. Can one describe all of the adjunctions giving rise to a given…
We construct free Lie algebras which, together with the algebra of spatial rotations, form infinite-dimensional extensions of finite-dimensional Galilei Maxwell algebras appearing as global spacetime symmetries of extended non-relativistic…
This expository article is an expanded version of talks given at the "Current Developments in Mathematics, 2002" conference. It gives an introduction to the (generalized) conjecture of Rapoport and Goresky-MacPherson which identifies the…