English
Related papers

Related papers: Generalized edgewise subdivisions

200 papers

An unrepresentable cohomological functor of finite type of the bounded derived category of coherent sheaves of a compact complex manifold of dimension greater than one with no proper closed subvariety is given explicitly in categorical…

Algebraic Geometry · Mathematics 2015-05-18 Keiji Oguiso

A subunit in a monoidal category is a subobject of the monoidal unit for which a canonical morphism is invertible. They correspond to open subsets of a base topological space in categories such as those of sheaves or Hilbert modules. We…

Category Theory · Mathematics 2020-06-22 Pau Enrique Moliner , Chris Heunen , Sean Tull

We develop a generalization of manifold calculus in the sense of Goodwillie-Weiss where the manifold is replaced by a simplicial complex. We consider functors from the category of open subsets of a fixed simplical complex into the category…

Geometric Topology · Mathematics 2017-11-21 Steffen Tillmann

In this paper, we state and prove precise theorems on the classification of the category of (braided) categorical groups and their (braided) monoidal functors, and some applications obtained from the basic studies on monoidal functors…

Category Theory · Mathematics 2013-01-04 Nguyen Tien Quang , Nguyen Thu Thuy , Pham Thi Cuc

We survey results on Hedetniemi's conjecture which are connected to adjoint functors in the "thin" category of graphs, and expose the obstacles to extending these results.

Combinatorics · Mathematics 2016-08-10 Jan Foniok , Claude Tardif

Every endofunctor of the category of classes is proved to be set-based in the sense of Aczel and Mendler, therefore, it has a final coalgebra. Other basic properties of these endofunctors are proved, e.g. the existence of a free completely…

Logic in Computer Science · Computer Science 2007-05-23 J. Adamek , S. Milius , J. Velebil

This article is first in a series of papers where we reprove the statements in constructing the Enhanced Operation Map and the abstract six-functor formalism developed by Liu-Zheng. In this paper, we prove a theorem regarding constructing…

Algebraic Geometry · Mathematics 2025-01-28 Chirantan Chowdhury

We study exponentiable functors in the context of synthetic $\infty$-categories. We do this within the framework of simplicial Homotopy Type Theory of Riehl and Shulman. Our main result characterizes exponentiable functors. In order to…

Category Theory · Mathematics 2025-11-25 César Bardomiano-Martínez

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

We prove that the classification diagram functor from the category of marked simplicial sets to the category of bisimplicial sets carries cartesian equivalences to Rezk equivalences. As a corollary, we obtain Mazel-Gee's theorem on…

Algebraic Topology · Mathematics 2024-01-31 Kensuke Arakawa

In this note, we deal with the fixed points of an endofunctor $F: \mathcal{C} \longrightarrow \mathcal{C}$. Three classes of fixed points are introduced, and the case when $F$ is an endomorphism of a category with pretopology is…

Category Theory · Mathematics 2017-05-09 Aleksandr Luzhenkov

In this paper, we introduce a new category of simplicial effects that extends the categories of effect algebras and their multi-object counterpart, effect algebroids. Our approach is based on relaxing the associativity condition satisfied…

Category Theory · Mathematics 2025-02-11 Cihan Okay , Victor Castillo , Walker H. Stern

We present here definitions and constructions basic for the theory of monoidal and tensor categories. We provide references to the original sources, whenever possible. Group-theoretical categories are used as examples

Category Theory · Mathematics 2023-11-13 Alexei Davydov

This article contains a review of categorifications of semisimple representations of various rings via abelian categories and exact endofunctors on them. A simple definition of an abelian categorification is presented and illustrated with…

Representation Theory · Mathematics 2007-05-23 Mikhail Khovanov , Volodymyr Mazorchuk , Catharina Stroppel

We introduce a generalization of monads, called relative monads, allowing for underlying functors between different categories. Examples include finite-dimensional vector spaces, untyped and typed lambda-calculus syntax and indexed…

Programming Languages · Computer Science 2015-09-14 Thosten Altenkirch , James Chapman , Tarmo Uustalu

We define a simplicial differential calculus by generalizing divided differences from the case of curves to the case of general maps, defined on general topological vector spaces, or even on modules over a topological ring K. This calculus…

Differential Geometry · Mathematics 2011-01-12 Wolfgang Bertram

When one studies the structure (e.g. graded ideals, graded subspaces, radicals, ...) or graded polynomial identities of graded algebras, the grading group itself does not play an important role, but can be replaced by any other group that…

Rings and Algebras · Mathematics 2023-09-14 Alexey Gordienko , Ofir Schnabel

We present an intrinsic and concrete development of the subdivision of small categories, give some simple examples and derive its fundamental properties. As an application, we deduce an alternative way to compare the homotopy categories of…

Algebraic Topology · Mathematics 2018-07-10 Matias Luis del Hoyo

The category of dendroidal sets is an extension of that of simplicial sets, suitable for defining nerves of operads rather than just of categories. In this paper, we prove some basic properties of inner Kan complexes in the category of…

Algebraic Topology · Mathematics 2011-03-22 Ieke Moerdijk , Ittay Weiss

We formalize the concept of a centralizer-respecting homomorphism, surjective homomorphisms which are equivariant with respect to taking the centralizer of a subgroup. There is a functor from the category of centralizer-respecting…

Group Theory · Mathematics 2026-05-15 William Cocke , Mark L. Lewis , Ryan McCulloch