:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Goren-Roig, Gabriel, Meyers, Joshua, Minichiello, Emilio
Format:	Preprint
Published:	2024
Subjects:	Category Theory
Online Access:	https://arxiv.org/abs/2404.01406
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Coverages and Grothendieck Toposes
by: Minichiello, Emilio
Published: (2025)

The Diffeological Čech-de Rham Obstruction
by: Minichiello, Emilio
Published: (2024)

Diffeological Principal Bundles and Principal Infinity Bundles
by: Minichiello, Emilio
Published: (2022)

Hypercovers in Differential Geometry
by: Glass, Cheyne, et al.
Published: (2026)

Higher-Order Quantum Objects are Strong Profunctors
by: Wilson, Matt, et al.
Published: (2026)

A Mathematical Model of Package Management Systems
by: Bazerman, Gershom, et al.
Published: (2023)

Profunctor Optics, a Categorical Update
by: Clarke, Bryce, et al.
Published: (2020)

Algebraic Presentations of Type Dependency
by: Ahrens, Benedikt, et al.
Published: (2021)

Presenting Neural Networks via Coherent Functors
by: Pugh, Matthew, et al.
Published: (2026)

On biadjoint triangles with additional modifications
by: Merlin, Gabriel
Published: (2025)

Structured Decompositions: Structural and Algorithmic Compositionality
by: Bumpus, Benjamin Merlin, et al.
Published: (2022)

A criterion for existence of right-induced model structures
by: Drummond-Cole, Gabriel C., et al.
Published: (2017)

Presentations of pseudodistributive laws
by: Walker, Charles
Published: (2021)

Categorification of characteristic structures
by: Brooksbank, Peter A., et al.
Published: (2025)

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 aspects of calculus of relations and $2$-permutability
by: Clementino, Maria Manuel, et al.
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)

Polynomials in homotopy type theory as a Kleisli category
by: Harington, Elies, et al.
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)

Functor String Diagrams: A Novel Approach to Flexible Diagrams for Applied Category Theory
by: Abbott, Vincent, et al.
Published: (2024)

A Very Short Introduction to Topos Theory (adapted from Prof. Pettigrew's notes)
by: Schmid, Eric
Published: (2024)

Recollements and $n$-cotorsion pairs
by: Cao, Weiqing, et al.
Published: (2024)

Monadic aspects of the ideal lattice functor on the category of distributive lattices
by: Razafindrakoto, Ando
Published: (2024)

Envelopes and the bar complex
by: Hogancamp, Matthew
Published: (2024)

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

Lurie's Unstraightening as a weak biequivalence of $\infty$-cosmoses
by: Stenzel, Raffael
Published: (2024)

Strict refinement property of connected loop-free categories
by: Ulusoy, Aly-Bora, et al.
Published: (2024)

Categorical Theory of $(\infty,ω)$-Categories
by: Loubaton, Félix
Published: (2024)