Saved in:
| Main Authors: | , , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2020
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2001.07488 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
A Categorical Framework for Program Semantics and Semantic Abstraction
by: Katsumata, Shin-ya, et al.
Published: (2023)
by: Katsumata, Shin-ya, et al.
Published: (2023)
Accessibility and presentability in 2-categories
by: Di Liberti, Ivan, et al.
Published: (2018)
by: Di Liberti, Ivan, et al.
Published: (2018)
Adjoint functor theorems for lax-idempotent pseudomonads
by: Arkor, Nathanael, et al.
Published: (2023)
by: Arkor, Nathanael, et al.
Published: (2023)
A Model Categoric Equivalence for Crossed Simplicial Modules
by: Kaya, Haydar Can, et al.
Published: (2024)
by: Kaya, Haydar Can, et al.
Published: (2024)
Automata and coalgebras in categories of species
by: Loregian, Fosco
Published: (2024)
by: Loregian, Fosco
Published: (2024)
Monads and limits in bicategories of circuits
by: Loregian, Fosco
Published: (2025)
by: Loregian, Fosco
Published: (2025)
Duals of Higher Vector Spaces
by: Ronchi, Stefano, et al.
Published: (2024)
by: Ronchi, Stefano, et al.
Published: (2024)
Homotopical algebra is not concrete
by: Loregian, Fosco, et al.
Published: (2017)
by: Loregian, Fosco, et al.
Published: (2017)
String Diagrams for Physical Duoidal Categories
by: Román, Mario
Published: (2024)
by: Román, Mario
Published: (2024)
Two-dimensional transducers
by: Loregian, Fosco
Published: (2025)
by: Loregian, Fosco
Published: (2025)
The Grothendieck construction for delta lenses
by: Clarke, Bryce
Published: (2025)
by: Clarke, Bryce
Published: (2025)
Multicategorical Semantics for Untyped Effects
by: Grunfeld, Ariel, et al.
Published: (2026)
by: Grunfeld, Ariel, et al.
Published: (2026)
$(\infty,1)$-Categorical Comprehension Schemes
by: Stenzel, Raffael
Published: (2020)
by: Stenzel, Raffael
Published: (2020)
Lifting twisted coreflections against delta lenses
by: Clarke, Bryce
Published: (2024)
by: Clarke, Bryce
Published: (2024)
Di- is for Directed: First-Order Directed Type Theory via Dinaturality
by: Laretto, Andrea, et al.
Published: (2024)
by: Laretto, Andrea, et al.
Published: (2024)
Completeness for categories of generalized automata
by: Boccali, Guido, et al.
Published: (2023)
by: Boccali, Guido, et al.
Published: (2023)
On internal categories and crossed objects in the category of monoids
by: Pirashvili, Ilia
Published: (2024)
by: Pirashvili, Ilia
Published: (2024)
Timing via Pinwheel Double Categories
by: Di Lavore, Elena, et al.
Published: (2025)
by: Di Lavore, Elena, et al.
Published: (2025)
Categories graded by group homomorphisms
by: Davies, Jonathan
Published: (2026)
by: Davies, Jonathan
Published: (2026)
Nerves of enriched categories via necklaces
by: Mertens, Arne
Published: (2024)
by: Mertens, Arne
Published: (2024)
The Adjoint Representation of a Higher Lie Groupoid
by: Trentinaglia, Giorgio
Published: (2023)
by: Trentinaglia, Giorgio
Published: (2023)
Crossed modules and cohomology of algebras over an operad
by: Leray, Johan, et al.
Published: (2024)
by: Leray, Johan, et al.
Published: (2024)
Categorical Framework for Typed Extensional and Intensional Models in Formal Semantics
by: Quigley, Daniel
Published: (2024)
by: Quigley, Daniel
Published: (2024)
Logical Aspects of Virtual Double Categories
by: Nasu, Hayato
Published: (2025)
by: Nasu, Hayato
Published: (2025)
Escrows are optics
by: Genovese, Fabrizio, et al.
Published: (2021)
by: Genovese, Fabrizio, et al.
Published: (2021)
V-graded categories and V-W-bigraded categories: Functor categories and bifunctors over non-symmetric bases
by: Lucyshyn-Wright, Rory B. B.
Published: (2025)
by: Lucyshyn-Wright, Rory B. B.
Published: (2025)
Cloven operadic categories: An approach to operadic categories with cardinalities in finite unordered sets
by: Markl, Martin
Published: (2025)
by: Markl, Martin
Published: (2025)
Operads and equivariance
by: Corner, Alexander, et al.
Published: (2026)
by: Corner, Alexander, et al.
Published: (2026)
An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
by: Maietti, Maria Emilia, et al.
Published: (2025)
by: Maietti, Maria Emilia, et al.
Published: (2025)
Enriched quasi-categories and the templicial homotopy coherent nerve
by: Lowen, Wendy, et al.
Published: (2023)
by: Lowen, Wendy, et al.
Published: (2023)
What is a monoid?
by: Levy, Paul Blain, et al.
Published: (2025)
by: Levy, Paul Blain, et al.
Published: (2025)
Cofibrantly generated model structures for functor calculus
by: Bandklayder, Lauren, et al.
Published: (2023)
by: Bandklayder, Lauren, et al.
Published: (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
by: Doni, Matteo
Published: (2024)
by: Doni, Matteo
Published: (2024)
The Universal Property of Measure-Theoretic Probability
by: Rischel, Eigil Fjeldgren
Published: (2025)
by: Rischel, Eigil Fjeldgren
Published: (2025)
A Topologically Enriched Probability Monad on the Cartesian Closed Category of CGWH Spaces
by: Kristel, Peter, et al.
Published: (2024)
by: Kristel, Peter, et al.
Published: (2024)
Nerves of generalized multicategories
by: Fujii, Soichiro, et al.
Published: (2025)
by: Fujii, Soichiro, et al.
Published: (2025)
A finite approach to representable multicategories and related structures
by: Lobbia, Gabriele
Published: (2023)
by: Lobbia, Gabriele
Published: (2023)
The magnitude of categories of texts enriched by language models
by: Bradley, Tai-Danae, et al.
Published: (2025)
by: Bradley, Tai-Danae, et al.
Published: (2025)
Commutativity in double interchange semigroups
by: Bagherzadeh, Fatemeh, et al.
Published: (2017)
by: Bagherzadeh, Fatemeh, et al.
Published: (2017)
Galois theory and homology in quasi-abelian functor categories
by: Egner, Nadja
Published: (2024)
by: Egner, Nadja
Published: (2024)