Copertina

Profunctor Optics, a Categorical Update

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Clarke, Bryce, Elkins, Derek, Gibbons, Jeremy, Loregian, Fosco, Milewski, Bartosz, Pillmore, Emily, Román, Mario
Natura:	Preprint
Pubblicazione:	2020
Soggetti:	Programming Languages Category Theory 18C50 D.3.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A Categorical Framework for Program Semantics and Semantic Abstraction
di: Katsumata, Shin-ya, et al.
Pubblicazione: (2023)

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

A Model Categoric Equivalence for Crossed Simplicial Modules
di: Kaya, Haydar Can, et al.
Pubblicazione: (2024)

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

Automata and coalgebras in categories of species
di: Loregian, Fosco
Pubblicazione: (2024)

Monads and limits in bicategories of circuits
di: Loregian, Fosco
Pubblicazione: (2025)

Duals of Higher Vector Spaces
di: Ronchi, Stefano, et al.
Pubblicazione: (2024)

String Diagrams for Physical Duoidal Categories
di: Román, Mario
Pubblicazione: (2024)

Multicategorical Semantics for Untyped Effects
di: Grunfeld, Ariel, et al.
Pubblicazione: (2026)

Two-dimensional transducers
di: Loregian, Fosco
Pubblicazione: (2025)

Homotopical algebra is not concrete
di: Loregian, Fosco, et al.
Pubblicazione: (2017)

The Grothendieck construction for delta lenses
di: Clarke, Bryce
Pubblicazione: (2025)

$(\infty,1)$-Categorical Comprehension Schemes
di: Stenzel, Raffael
Pubblicazione: (2020)

Lifting twisted coreflections against delta lenses
di: Clarke, Bryce
Pubblicazione: (2024)

What is a monoid?
di: Levy, Paul Blain, et al.
Pubblicazione: (2025)

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

On internal categories and crossed objects in the category of monoids
di: Pirashvili, Ilia
Pubblicazione: (2024)

Timing via Pinwheel Double Categories
di: Di Lavore, Elena, et al.
Pubblicazione: (2025)

Contextads as Wreaths; Kleisli, Para, and Span Constructions as Wreath Products
di: Capucci, Matteo, et al.
Pubblicazione: (2024)

Categories graded by group homomorphisms
di: Davies, Jonathan
Pubblicazione: (2026)

Nerves of enriched categories via necklaces
di: Mertens, Arne
Pubblicazione: (2024)

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

The Relative Monadic Metalanguage
di: Liell-Cock, Jack, et al.
Pubblicazione: (2025)

Categorical Framework for Typed Extensional and Intensional Models in Formal Semantics
di: Quigley, Daniel
Pubblicazione: (2024)

Crossed modules and cohomology of algebras over an operad
di: Leray, Johan, et al.
Pubblicazione: (2024)

The Adjoint Representation of a Higher Lie Groupoid
di: Trentinaglia, Giorgio
Pubblicazione: (2023)

Logical Aspects of Virtual Double Categories
di: Nasu, Hayato
Pubblicazione: (2025)

Escrows are optics
di: Genovese, Fabrizio, et al.
Pubblicazione: (2021)

Lambek Invariants of Commutative Squares in a Homological Category
di: Kopylov, Yaroslav, et al.
Pubblicazione: (2023)

Some Properties of Homology and Exactness of Nomura's Homology Sequences in a Grandis Homological Category
di: Kopylov, Yaroslav, et al.
Pubblicazione: (2025)

V-graded categories and V-W-bigraded categories: Functor categories and bifunctors over non-symmetric bases
di: Lucyshyn-Wright, Rory B. B.
Pubblicazione: (2025)

Cloven operadic categories: An approach to operadic categories with cardinalities in finite unordered sets
di: Markl, Martin
Pubblicazione: (2025)

Operads and equivariance
di: Corner, Alexander, et al.
Pubblicazione: (2026)

An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
di: Maietti, Maria Emilia, et al.
Pubblicazione: (2025)

Enriched quasi-categories and the templicial homotopy coherent nerve
di: Lowen, Wendy, et al.
Pubblicazione: (2023)

Cofibrantly generated model structures for functor calculus
di: Bandklayder, Lauren, et al.
Pubblicazione: (2023)

Nerves of generalized multicategories
di: Fujii, Soichiro, et al.
Pubblicazione: (2025)

A finite approach to representable multicategories and related structures
di: Lobbia, Gabriele
Pubblicazione: (2023)

$\mathrm{LMod}_{R}(\mathcal{V})$-enriched $\infty$-categories are left $R$-module objects of $\mathcal{C}at^{\mathcal{V}}$ and $\mathcal{C}at^{\mathcal{V}}$-enriched $\infty$-functors
di: Doni, Matteo
Pubblicazione: (2024)

The Universal Property of Measure-Theoretic Probability
di: Rischel, Eigil Fjeldgren
Pubblicazione: (2025)