Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2403.02672 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
A short proof of the Frobenius property for generic fibrations
by: Barton, Reid
Published: (2024)
by: Barton, Reid
Published: (2024)
Poincaré-Birkhoff-Witt Theorems in Higher Algebra
by: Antolín-Camarena, Omar, et al.
Published: (2025)
by: Antolín-Camarena, Omar, et al.
Published: (2025)
Brushstrokes and Tensor Products: Painting with a Monoidal Category
by: Komalan, Khyathi
Published: (2025)
by: Komalan, Khyathi
Published: (2025)
Kripke-Joyal forcing for type theory and uniform fibrations
by: Awodey, S., et al.
Published: (2021)
by: Awodey, S., et al.
Published: (2021)
A comonad for Grothendieck fibrations
by: Emmenegger, Jacopo, et al.
Published: (2023)
by: Emmenegger, Jacopo, et al.
Published: (2023)
A Pattern Language for Machine Learning Tasks
by: Rodatz, Benjamin, et al.
Published: (2024)
by: Rodatz, Benjamin, et al.
Published: (2024)
Open Condensed Subgroups and Mackey's Formula
by: Tang, Jiacheng
Published: (2024)
by: Tang, Jiacheng
Published: (2024)
On internally projective sheaves of groups
by: Wärn, David
Published: (2024)
by: Wärn, David
Published: (2024)
Normalization of a subgroup, in a topos, and of a word-congruence
by: Hora, Ryuya
Published: (2025)
by: Hora, Ryuya
Published: (2025)
Internal Parameterization of Hyperconnected Quotients
by: Hora, Ryuya
Published: (2023)
by: Hora, Ryuya
Published: (2023)
Frobenius and commutative pseudomonoids in the bicategory of spans
by: Contreras, Ivan, et al.
Published: (2023)
by: Contreras, Ivan, et al.
Published: (2023)
Virtual double categories of split two-sided 2-fibrations
by: Koudenburg, Seerp Roald
Published: (2026)
by: Koudenburg, Seerp Roald
Published: (2026)
On the Anatomy of Attention
by: Khatri, Nikhil, et al.
Published: (2024)
by: Khatri, Nikhil, et al.
Published: (2024)
Introductory notes on real-enriched categories
by: Zhang, Dexue
Published: (2024)
by: Zhang, Dexue
Published: (2024)
A model structure for Grothendieck fibrations
by: Moser, Lyne, et al.
Published: (2023)
by: Moser, Lyne, et al.
Published: (2023)
Aspects of Condensed Mathematics -- From Abstract Nonsense to Ergodic Theory
by: Bihlmaier, Noa, et al.
Published: (2025)
by: Bihlmaier, Noa, et al.
Published: (2025)
Categorical algebra of conditional probability
by: Bohinen, Mika, et al.
Published: (2025)
by: Bohinen, Mika, et al.
Published: (2025)
The least subtopos containing the discrete skeleton of $Ω$
by: Menni, Matí as
Published: (2024)
by: Menni, Matí as
Published: (2024)
On combinatorial aspects of fat Delta
by: Pradal, Stiéphen
Published: (2025)
by: Pradal, Stiéphen
Published: (2025)
A 2-categorical proof of Frobenius for fibrations defined from a generic point
by: Hazratpour, Sina, et al.
Published: (2022)
by: Hazratpour, Sina, et al.
Published: (2022)
Pointfree topology and constructive mathematics
by: Manuell, Graham
Published: (2023)
by: Manuell, Graham
Published: (2023)
A Criterion for Categories on which every Grothendieck Topology is Rigid
by: Marquès, Jérémie
Published: (2024)
by: Marquès, Jérémie
Published: (2024)
A note on the atomicity of arithmeticity
by: Hoefnagel, Michael, et al.
Published: (2024)
by: Hoefnagel, Michael, et al.
Published: (2024)
On a fibrational construction for optics, lenses, and Dialectica categories
by: Capucci, Matteo, et al.
Published: (2024)
by: Capucci, Matteo, et al.
Published: (2024)
Toward the effective 2-topos
by: Awodey, Steve, et al.
Published: (2025)
by: Awodey, Steve, et al.
Published: (2025)
Lawvere's fourth open problem: Levels in the topos of symmetric simplicial sets
by: Hora, Ryuya, et al.
Published: (2025)
by: Hora, Ryuya, et al.
Published: (2025)
Examples and cofibrant generation of effective Kan fibrations
by: Berg, Benno van den, et al.
Published: (2024)
by: Berg, Benno van den, et al.
Published: (2024)
String diagrams for $4$-categories and fibrations of mapping $4$-groupoids
by: Araújo, Manuel
Published: (2020)
by: Araújo, Manuel
Published: (2020)
Towards a Unified Theory of Time-Varying Data
by: Bumpus, Benjamin Merlin, et al.
Published: (2024)
by: Bumpus, Benjamin Merlin, et al.
Published: (2024)
Colimits in 2-dimensional slices
by: Mesiti, Luca
Published: (2023)
by: Mesiti, Luca
Published: (2023)
A note on the definition of derived functors
by: Schwarz, João
Published: (2025)
by: Schwarz, João
Published: (2025)
Quantale-valued maps and partial maps
by: Shen, Lili, et al.
Published: (2024)
by: Shen, Lili, et al.
Published: (2024)
$\mathsf{Q}\text{-}\mathbf{Set}$ is not generally a topos
by: Hu, Xiao, et al.
Published: (2025)
by: Hu, Xiao, et al.
Published: (2025)
A Topos-Theoretic Semantics of Intuitionistic Modal Logic with an Application to the Logic of Branching Spacetime
by: Lambert, Michael J.
Published: (2024)
by: Lambert, Michael J.
Published: (2024)
A Category of the Political \Large{Part I - Homónoia}
by: Abdou, Joseph
Published: (2025)
by: Abdou, Joseph
Published: (2025)
A pretorsion theory for right groups
by: Facchini, Alberto, et al.
Published: (2026)
by: Facchini, Alberto, et al.
Published: (2026)
What kind of linearly distributive category do polynomial functors form?
by: Spivak, David I., et al.
Published: (2024)
by: Spivak, David I., et al.
Published: (2024)
Double coset for groupoids
by: Shiizuka, Keitaro
Published: (2026)
by: Shiizuka, Keitaro
Published: (2026)
Groupoid G-spans and matrices over group rings
by: Kock, Joachim, et al.
Published: (2026)
by: Kock, Joachim, et al.
Published: (2026)
Local categories: a new framework for partiality
by: Lanfranchi, Marcello, et al.
Published: (2025)
by: Lanfranchi, Marcello, et al.
Published: (2025)