Cover Image

Rewriting techniques for relative coherence

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Mimram, Samuel
Format:	Preprint
Published:	2024
Subjects:	Category Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Realization of relational presheaves
by: Chamoun, Yorgo, et al.
Published: (2025)

Polynomials in homotopy type theory as a Kleisli category
by: Harington, Elies, et al.
Published: (2024)

Delooping presented groups in homotopy type theory
by: Champin, Camil, et al.
Published: (2024)

Globular weak $ω$-categories as models of a type theory
by: Benjamin, Thibaut, et al.
Published: (2021)

ViCAR: Visualizing Categories with Automated Rewriting in Coq
by: Shah, Bhakti, et al.
Published: (2024)

Rewriting Modulo Traced Comonoid Structure
by: Ghica, Dan R., et al.
Published: (2023)

Polygraphs: From Rewriting to Higher Categories
by: Ara, Dimitri, et al.
Published: (2023)

Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs
by: Tiurin, Aleksei, et al.
Published: (2024)

Flat quasi-coherent sheaves as directed colimits, and quasi-coherent cotorsion periodicity
by: Positselski, Leonid, et al.
Published: (2022)

A Critical Pair Enumeration Algorithm for String Diagram Rewriting
by: Matsui, Anna, et al.
Published: (2026)

Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
by: Milosavljevic, Aleksandar, et al.
Published: (2022)

Locally coherent exact categories
by: Positselski, Leonid
Published: (2023)

Local fibrations and morphisms of relative toposes
by: Bartoli, Léo, et al.
Published: (2025)

Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem
by: Barile, Adriano, et al.
Published: (2024)

Roos axiom holds for quasi-coherent sheaves
by: Positselski, Leonid
Published: (2024)

Enriched aspects of calculus of relations and $2$-permutability
by: Clementino, Maria Manuel, et al.
Published: (2024)

The 2-Adjunction that relates Universal Arrows and Extensive Monads
by: Vazquez-Marquez, Adrian, et al.
Published: (2025)

Rewriting Structured Cospans
by: Cicala, Daniel
Published: (2020)

Left-Linear Rewriting in Adhesive Categories
by: Baldan, Paolo, et al.
Published: (2024)

PROPs associated to Lawvere theories and their relation to polynomial functors
by: Kim, Minkyu
Published: (2024)

Quasi-coherent sheaves and D-modules in Derived Differential Supergeometry
by: Carchedi, David
Published: (2025)

Grothendieck-Verdier module categories, Frobenius algebras and relative Serre functors
by: Fuchs, Jürgen, et al.
Published: (2024)

Silting reduction, relative AGK's construction and Higgs construction
by: Wu, Yilin
Published: (2025)

Hom-counting functions, combinatorial categories and related problems
by: Ceres, Antonio, et al.
Published: (2025)

Faithful linear and relational representations of diagram categories and monoids
by: East, James, et al.
Published: (2026)

Organizing Physics with Open Energy-Driven Systems
by: Capucci, Matteo, et al.
Published: (2024)

Eilenberg-Moore Bicategories for Opmonoidal Pseudomonads
by: Miranda, Adrian
Published: (2024)

Quotient Category of a Multiring Category
by: Zuo, Zhenbang, et al.
Published: (2024)

Taut functors and the difference operator
by: Paré, Robert
Published: (2024)

Tricategorical Universal Properties Via Enriched Homotopy Theory
by: Miranda, Adrian
Published: (2024)

Cartesian closed and stable subconstructs of [0,1]-Cat
by: Lai, Hongliang, et al.
Published: (2024)

Liftings of point-wise finite dimensional persistence modules over local commutative Artinian rings
by: Vélez-Marulanda, José A.
Published: (2024)

Enriched concepts of regular logic
by: Rosický, Jiří, et al.
Published: (2024)

Homotopical presentation of categories
by: Lee, Seunghun
Published: (2024)

The structure of étale Boolean right restriction monoids
by: Lawson, Mark V.
Published: (2024)

Partial orders are the free conservative cocompletion of total orders
by: Tataru, Calin
Published: (2024)

Model Category Structure on Simplicial Algebras via Dold-Kan Correspondence
by: Faridian, Hossein
Published: (2024)

Pattern Runs on Matter: The Free Monad Monad as a Module over the Cofree Comonad Comonad
by: Libkind, Sophie, et al.
Published: (2024)

Combs, Causality and Contractions in Atomic Markov Categories
by: Stein, Dario, et al.
Published: (2024)

Deriving the Giry algebras on standard Borel spaces using $\mathbb{R}_{\infty}$-generalized points
by: Sturtz, Kirk
Published: (2024)