:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Nakahira, Kenji
Format:	Preprint
Published:	2023
Subjects:	Category Theory
Online Access:	https://arxiv.org/abs/2307.08891
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Diagrammatic Negative Information
by: Abbott, Vincent, et al.
Published: (2024)

Calculating monad transformers with category theory
by: Manzyuk, Oleksandr
Published: (2025)

Diagrammatic Polyhedral Algebra
by: Bonchi, Filippo, et al.
Published: (2021)

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

Diagrammatic Categories which arise from Representation Graphs
by: Reynolds, Ryan
Published: (2025)

Sweedler theory for double categories
by: Aravantinos-Sotiropoulos, Vasileios, et al.
Published: (2024)

Diagrammatic Algebra of First Order Logic
by: Bonchi, Filippo, et al.
Published: (2024)

Complete Diagrammatic Axiomatisations of Relative Entropy
by: Sarkis, Ralph, et al.
Published: (2026)

Enriched Morita theory of monoids in a closed symmetric monoidal category
by: Lee, Jaehyeok, et al.
Published: (2023)

Extriangulated length categories: torsion classes and $τ$-tilting theory
by: Wang, Li, et al.
Published: (2025)

Stable homotopy theory of higher categories
by: Heine, Hadrian
Published: (2026)

On the equivalence invariance of formal category theory
by: Verdugo, Paula
Published: (2025)

The $\infty$-category of $\infty$-categories in simplicial type theory
by: Gratzer, Daniel, et al.
Published: (2026)

A monoidal category of dependently sorted algebraic theories II: categorical aspects
by: Almeida, Daniel
Published: (2026)

Tilting theory for extended module categories
by: Zhou, Yu
Published: (2024)

Colimits and cocompletions in internal higher category theory
by: Martini, Louis, et al.
Published: (2021)

Cartesian differential categories as skew enriched categories
by: Garner, Richard, et al.
Published: (2020)

Mackey functors from the viewpoint of double category theories
by: Wu, Mawei
Published: (2025)

A monoidal category of dependently sorted algebraic theories I: syntax
by: Almeida, Daniel
Published: (2025)

Dévissage for Algebraic K-theory of Small Stable $\infty$-categories
by: Wei, Chunhui
Published: (2026)

The category $Θ_2$, derived modifications, and deformation theory of monoidal categories
by: Panero, Piergiorgio, et al.
Published: (2022)

Accessible bridge between category theory and functional programming
by: Kadhi, Fethi
Published: (2024)

The reflectivity of some categories of T0 spaces in domain theory
by: Shen, Chong, et al.
Published: (2021)

Regular categories, oligomorphic monoids, and tensor categories
by: Snowden, Andrew
Published: (2024)

Monads on dagger categories
by: Heunen, Chris, et al.
Published: (2016)

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

Taming large categories
by: Kaledin, D.
Published: (2024)

Abelian envelopes of exact categories and highest weight categories
by: Bodzenta, Agnieszka, et al.
Published: (2020)

On unification of categories associated with F -transforms and fuzzy pretopological spaces as Qua category
by: Tripathi, Abha, et al.
Published: (2025)

Silting reduction and picture categories of 0-Auslander extriangulated categories
by: Børve, Erlend D.
Published: (2024)

Monobricks in extriangulated length categories
by: Mei, Yuxia, et al.
Published: (2025)

Pita factorisation in operadic categories
by: Batanin, Michael, et al.
Published: (2025)

The diagrammatic presentation of equations in categories
by: Arlin, Kevin, et al.
Published: (2024)

Reflective centers as categories of modules
by: Schauenburg, Peter
Published: (2025)

Para construction for double categories
by: Femić, Bojana
Published: (2025)

A convenient category of locales
by: Ghazel, Moncef, et al.
Published: (2025)

Deformation theory for a morphism in the derived category with fixed lift of the codomain
by: Belmans, Pieter, et al.
Published: (2025)

A type theory for invertibility in weak $ω$-categories
by: Benjamin, Thibaut, et al.
Published: (2026)

Universal categories
by: Schoutens, Hans
Published: (2025)

Localisation theorems for the connective K-theory of exact categories
by: Winges, Christoph
Published: (2025)