Imagen de Portada

Escrows are optics

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Genovese, Fabrizio, Loregian, Fosco, Palombi, Daniele
Formato:	Preprint
Publicado:	2021
Materias:	Category Theory
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Two-dimensional transducers
por: Loregian, Fosco
Publicado: (2025)

Automata and coalgebras in categories of species
por: Loregian, Fosco
Publicado: (2024)

Monads and limits in bicategories of circuits
por: Loregian, Fosco
Publicado: (2025)

Doctrinal Semantics of Directed First-Order Logic
por: Laretto, Andrea, et al.
Publicado: (2025)

Accessibility and presentability in 2-categories
por: Di Liberti, Ivan, et al.
Publicado: (2018)

Completeness for categories of generalized automata
por: Boccali, Guido, et al.
Publicado: (2023)

Fibrations of algebras
por: Ahman, Danel, et al.
Publicado: (2024)

Homotopical algebra is not concrete
por: Loregian, Fosco, et al.
Publicado: (2017)

Di- is for Directed: First-Order Directed Type Theory via Dinaturality
por: Laretto, Andrea, et al.
Publicado: (2024)

Profunctor Optics, a Categorical Update
por: Clarke, Bryce, et al.
Publicado: (2020)

Adjoint functor theorems for lax-idempotent pseudomonads
por: Arkor, Nathanael, et al.
Publicado: (2023)

Clones from comonoids
por: Krähmer, Ulrich, et al.
Publicado: (2021)

Algebraic Presentations of Type Dependency
por: Ahrens, Benedikt, et al.
Publicado: (2021)

Structured versus Decorated Cospans
por: Baez, John C., et al.
Publicado: (2021)

The category of formations of finite groups and topology
por: Garcia, Ismael Gutierrez, et al.
Publicado: (2026)

Effectivity of Generalized Double $\infty$-Categories
por: Loubaton, Félix
Publicado: (2025)

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

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

Monads on dagger categories
por: Heunen, Chris, et al.
Publicado: (2016)

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

Equivalence via surjections
por: Leinster, Tom
Publicado: (2025)

Monobricks in extriangulated length categories
por: Mei, Yuxia, et al.
Publicado: (2025)

Pita factorisation in operadic categories
por: Batanin, Michael, et al.
Publicado: (2025)

Eilenberg-Moore Bicategories for Opmonoidal Pseudomonads
por: Miranda, Adrian
Publicado: (2024)

Torsion Theories in a Non-pointed Context
por: Cappelletti, Andrea, et al.
Publicado: (2025)

A Universal Quotient of Banking APIs
por: Doyle, Christopher
Publicado: (2026)

Revisiting colimits in $\mathbf{Cat}$ and homotopy category
por: Mann, Varinderjit
Publicado: (2026)

Quotient Category of a Multiring Category
por: Zuo, Zhenbang, et al.
Publicado: (2024)

Taut functors and the difference operator
por: Paré, Robert
Publicado: (2024)

Tricategorical Universal Properties Via Enriched Homotopy Theory
por: Miranda, Adrian
Publicado: (2024)

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

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

Skew monoidal structures on actegories
por: Procházková, Pavla
Publicado: (2025)

Quasi-resolving subcategories and dimensions in extriangulated categories
por: He, Zhenggang, et al.
Publicado: (2025)

Colored Markov polycategories and diagrammatic differentiation
por: Papamarkou, Theodore
Publicado: (2026)

An Inductive Strategy Towards a Solution to the Generalized Homotopy Hypothesis
por: Taylor, Johnathon
Publicado: (2026)

Clock systems for stochastic and non-deterministic categorical systems theories
por: Lynch, Owen, et al.
Publicado: (2026)

A causal Markov category with Kolmogorov products
por: Moss, Sean, et al.
Publicado: (2025)

On the Cartesian closedness of [0,1]-Cat and some of its subcategories
por: Lai, Hongliang, et al.
Publicado: (2025)

Constructing linear bicategories
por: Blute, Richard, et al.
Publicado: (2022)