English
Related papers

Related papers: Descent for internal multicategory functors

200 papers

This thesis is an exposition of the author's contribution on effective descent morphisms in various categories of generalized categorical structures. It consists of: Chapter 1, where an elementary description of descent theory and the…

Category Theory · Mathematics 2025-02-14 Rui Prezado

Let $A$ be a regular category with pushouts of regular epimorphisms by regular epimorphism and $Reg(A)$ the category of regular epimorphisms in $A$. We prove that every regular epimorphism in $Reg(A)$ is an effective descent morphism if,…

Category Theory · Mathematics 2015-04-20 Tomas Everaert

We treat the problem of lifting bicategories into double categories through categories of vertical morphisms. We consider structures on decorated 2-categories allowing us to formally implement arguments of sliding certain squares along…

Category Theory · Mathematics 2024-06-24 Juan Orendain , Ruben Maldonado

Abstract inner automorphisms can be used to promote any category into a 2-category, and we study two-dimensional limits and colimits in the resulting 2-categories. Existing connected colimits and limits in the starting category become…

Category Theory · Mathematics 2025-09-08 Pieter Hofstra , Martti Karvonen

We study effective descent $ \mathcal V $-functors for cartesian monoidal categories $ \mathcal V $ with finite limits. This study is carried out via the properties enjoyed by the $2$-functor $ \mathcal V \mapsto \mathsf{Fam}(\mathcal V) $,…

Category Theory · Mathematics 2024-01-15 Rui Prezado

Effective descent morphisms, originally defined in Grothendieck descent theory, form a class of special morphisms within a category. Essentially, an effective descent morphism enables bundles over its codomain to be fully described as…

Category Theory · Mathematics 2024-11-05 Fernando Lucatelli Nunes , Rui Prezado

We develop a theory of descent and forms of tensor categories over arbitrary fields. We describe the general scheme of classification of such forms using algebraic and homotopical language, and give examples of explicit classification of…

Quantum Algebra · Mathematics 2012-02-07 Pavel Etingof , Shlomo Gelaki

By a closure space we will mean a pair $(A,\mathcal{C})$, in which $A$ is a set and $\mathcal{C}$ a set of subsets of $A$ closed under arbitrary intersections. The purpose of this paper is to initiate a development of descent theory of…

Category Theory · Mathematics 2023-10-26 George Janelidze , Manuela Sobral

We characterize effective descent morphisms of what we call filtered preorders, and apply these results to slightly improve a known result, due to the first author and F. Lucatelli Nunes, on the effective descent morphisms in lax comma…

Category Theory · Mathematics 2023-12-25 Maria Manuel Clementino , George Janelidze

We propose a general dual ascent framework for Lagrangean decomposition of combinatorial problems. Although methods of this type have shown their efficiency for a number of problems, so far there was no general algorithm applicable to…

Data Structures and Algorithms · Computer Science 2017-01-13 Paul Swoboda , Jan Kuske , Bogdan Savchynskyy

Given a diagram of schemes, we can ask if a geometric object over one of them can be built from descent data (usually objects of the same type over the various other schemes in the diagram, together with compatibility isomorphisms). Using…

Algebraic Geometry · Mathematics 2015-05-22 Daniel Schäppi

We present a characterization of effective descent morphisms in the lax comma category $\mathsf{Ord}//X$ when $X$ is a locally complete ordered set, as well as in the antisymmetric setting.

Category Theory · Mathematics 2025-03-21 Maria Manuel Clementino , Rui Prezado

Neocategories, semicategories, precategories are well-known generalizations of categories. But they all suppose that sources and targets of morphisms fulfilled identity conditions. Here we intend to suppress those conditions. In doing this…

Category Theory · Mathematics 2007-05-23 Freddy Bonnin

In this paper, we propose new structured second-order methods and structured adaptive-gradient methods obtained by performing natural-gradient descent on structured parameter spaces. Natural-gradient descent is an attractive approach to…

Machine Learning · Statistics 2022-02-22 Wu Lin , Frank Nielsen , Mohammad Emtiyaz Khan , Mark Schmidt

There is a construction which lies at the heart of descent theory. The combinatorial aspects of this paper concern the description of the construction in all dimensions. The description is achieved precisely for strict n-categories and…

Category Theory · Mathematics 2007-05-23 Ross Street

We identity the optimal non-infinitesimal direction of descent for a convex function. An algorithm is developed that can theoretically minimize a subset of (non-convex) functions.

Optimization and Control · Mathematics 2025-09-19 Andrew J. Young

We consider the problem of multi-class classification and a stochastic opti- mization approach to it. We derive risk bounds for stochastic mirror descent algorithm and provide examples of set geometries that make the use of the algorithm…

Optimization and Control · Mathematics 2016-12-09 Daria Reshetova

We develop the theory of n-stacks (or more generally Segal n-stacks which are $\infty$-stacks such that the morphisms are invertible above degree n). This is done by systematically using the theory of closed model categories (cmc). Our main…

Algebraic Geometry · Mathematics 2007-05-23 André Hirschowitz , Carlos Simpson

This monograph presents a class of algorithms called coordinate descent algorithms for mathematicians, statisticians, and engineers outside the field of optimization. This particular class of algorithms has recently gained popularity due to…

Optimization and Control · Mathematics 2017-01-16 Hao-Jun Michael Shi , Shenyinying Tu , Yangyang Xu , Wotao Yin

We show that the functor from curved differential graded algebras to differential graded categories, defined by the second author in [B], sends Cartesian diagrams to homotopy Cartesian diagrams, under certain reasonable hypotheses. This is…

Algebraic Geometry · Mathematics 2022-10-12 Oren Ben-Bassat , Jonathan Block
‹ Prev 1 2 3 10 Next ›