English
Related papers

Related papers: Isbell adjunctions and Kan adjunctions via quantal…

200 papers

We present an elementary construction of the non-connective algebraic K-theory spectrum associated to an additive category following the contracted functor approach due to Bass. It comes with a universal property that easily allows us to…

K-Theory and Homology · Mathematics 2013-09-05 Wolfgang Lueck , Wolfgang Steimle

The aim of this paper is to establish a contravariant adjunction between the category of quasi-bialgebras and a suitable full subcategory of dual quasi-bialgebras, adapting the notion of finite dual to this framework. Various functorial…

Quantum Algebra · Mathematics 2019-05-29 Alessandro Ardizzoni , Laiachi El Kaoutit , Paolo Saracco

A notion of a coring extension is defined and it is related to the existence of an additive functor between comodule categories that factorises through forgetful functors. This correspondence between coring extensions and factorisable…

Rings and Algebras · Mathematics 2008-07-31 Tomasz Brzezinski

We show that for various natural classes of groups and appropriately defined K- and L-theoretic functors, injectivity or bijectivity of the assembly map follows from the Isomorphism Conjecture being true for acyclic groups lying within that…

K-Theory and Homology · Mathematics 2017-03-07 Crichton Ogle , Shengkui Ye

We give defining equations for function fields over finite fields with many rational places. They are obtained from composita of quadratic extensions of the rational function field.

Number Theory · Mathematics 2007-05-23 Stephan Semirat

We give an introduction to the concept of Kan extensions, and study its relation with the notions of coend and adjoint functors. We state and prove in detail a well known formula to compute Kan extensions by using coends: a certain colimit…

Category Theory · Mathematics 2016-10-05 Marco A. Pérez

We will give quiver presentations of the Grothendieck constructions of functors from a small category to the 2-category of $\Bbbk$-categories for a commutative ring $\Bbbk$.

Rings and Algebras · Mathematics 2011-11-18 Hideto Asashiba , Mayumi Kimura

We construct a wide subcategory of the category of finite association schemes with a collection of desirable properties. Our subcategory has a first isomorphism theorem analogous to that of groups. Also, standard constructions taking…

Combinatorics · Mathematics 2012-08-07 Christopher French

Conceiving of premises as collected into sets or multisets, instead of sequences, may lead to triviality for classical and intuitionistic logic in general proof theory, where we investigate identity of deductions. Any two deductions with…

Logic · Mathematics 2016-06-10 Kosta Dosen

For an abelian category, a category equivalent to its derived category is constructed by means of specific projective (injective) multicomplexes, the so-called homological resolutions.

Algebraic Topology · Mathematics 2008-10-28 Samson Saneblidze

We show that differential calculus (in its usual form, or in the general form of topological differential calculus) can be fully imdedded into a functor category (functors from a small category of anchord tangent algebras to anchored sets).…

Algebraic Geometry · Mathematics 2021-03-25 Wolfgang Bertram , Jérémy Haut

Presentations of categories are a well-known algebraic tool to provide descriptions of categories by means of generators, for objects and morphisms, and relations on morphisms. We generalize here this notion, in order to consider situations…

Logic in Computer Science · Computer Science 2019-03-14 Pierre-Louis Curien , Samuel Mimram

We generalize the construction of reflection functors from classical representation theory of quivers to arbitrary small categories with freely attached sinks or sources. These reflection morphisms are shown to induce equivalences between…

Algebraic Topology · Mathematics 2017-09-12 Moritz Groth , Jan Stovicek

In this paper we investigate the categories of braided objects, algebras and bialgebras in a given monoidal category, some pairs of adjoint functors between them and their relations. In particular we construct a braided primitive functor…

Category Theory · Mathematics 2013-04-15 Alessandro Ardizzoni , Claudia Menini

We show that every combinatorial model category can be obtained, up to Quillen equivalence, by localizing a model category of diagrams of simplicial sets. This says that any combinatorial model category can be built up from a category of…

Algebraic Topology · Mathematics 2007-05-23 Daniel Dugger

Consider a Quillen adjunction of two variables between combinatorial model categories from $\mathcal{C}\times\mathcal{D}$ to $\mathcal{E}$, and a set $\mathcal{S}$ of morphisms in $\mathcal{C}$. We prove that there is a localised model…

Algebraic Topology · Mathematics 2018-08-29 Javier J. Gutiérrez , Constanze Roitzheim

We consider string junctions with endpoints on a set of branes of IIB string theory defining an ADE-type gauge Lie algebra. We show how to characterize uniquely equivalence classes of junctions related by string/brane crossing through…

High Energy Physics - Theory · Physics 2009-10-31 Oliver DeWolfe , Barton Zwiebach

Adjoint functors and projectivization in representation theory of partially ordered sets are used to generalize the algorithms of differentiation by a maximal and by a minimal point. Conceptual explanations are given for the combinatorial…

Representation Theory · Mathematics 2012-01-04 Mark Kleiner , Markus Reitenbach

Given a fixed tensor triangulated category S we consider triangulated categories T together with an S-enrichment which is compatible with the triangulated structure of T. It is shown that, in this setting, an enriched analogue of Brown…

Category Theory · Mathematics 2016-04-05 Johan Steen , Greg Stevenson

The two-point functions in affine current algebras based on simple Lie algebras are constructed for all representations, integrable or non-integrable. The weight of the conjugate field to a primary field of arbitrary weight is immediately…

High Energy Physics - Theory · Physics 2009-10-31 Jorgen Rasmussen