In this research announcement, we propose a new interpretation of the Engle Pereira Rovelli (EPR) quantization of the Barrett-Crane (BC) model using a functor we call the time functor, which is the first example of a co-lax, amply renormalizable (claren) functor. Under the hypothesis that the universe is in the Kodama state, we construct a holographic version of the model. Generalisations to ot...

A completion functor is constructed on the category of completely normal Cauchy groups and Cauchy-continuous homomorphlsms. A competlon functor is also obtained for a corresponding category of convergence groups.

We study the finitary version of the coalgebraic logic introduced by L. Moss. The syntax of this logic, which is introduced uniformly with respect to a coalgebraic type functor, required to preserve weak pullbacks, extends that of classical propositional logic with a so-called coalgebraic cover modality depending on the type functor. Its semantics is defined in terms of a categorically defined ...

We construct the polynomial induction functor, which is right adjoint to restriction functor from category of representations a general linear group its Weyl group. This construction leads representation-theoretic proof Littlewood’s plethystic formula for multiplicity an irreducible representation symmetric in such restriction. The unimodality certain bipartite partition functions follows.

We prove that the united K-theory functor is a surjective functor from the category of real simple purely infinite C*-algebras to the category of countable acyclic CRT-modules.

The article includes schemes of deening by structural induction, and deenitions and theorems related to: the set of variables which have free occurrences in a ZF-formula, the set of all valuations of variables in a model, the set of all valuations which satisfy a ZF-formula in a model, the satissability of a ZF-formula in a model by a valuation, the validity of a ZF-formula in a model, the axio...

We describe a Cat-valued nerve of bicategories, which associates to every bicategory a simplicial object in Cat, called the 2-nerve. This becomes the object part of a 2-functor N : NHom → [∆,Cat], where NHom is a 2-category whose objects are bicategories and whose 1-cells are normal homomorphisms of bicategories. The 2-functor N is fully faithful and has a left biadjoint, and we characterize it...

we find a criterion for a morphism of coalgebras over a barr-exact category to be effective descent and determine (effective) descent morphisms for coalgebras over toposes in some cases. also, we study some exactness properties of endofunctors of arbitrary categories in connection with natural transformations between them as well as those of functors that these transformations induce between co...

We exhibit a surprising connection between the following two concepts: Brown representability which arises in stable homotopy theory, and flat covers which arise in module theory. It is shown that Brown representability holds for a compactly generated triangulated category if and only if for every additive functor from the category of compact objects into the category of abelian groups a flat c...

In this paper we set up the foundations around notions of formal differentiation and integration in context commutative Hopf algebroids Lie-Rinehart algebras. Specifically, construct a contravariant functor from category with fixed base algebra to that algebras over same algebra, functor, which can be seen as an algebraic counterpart process Lie groupoids algebroids. The other way around, provi...