math.CT

26 papers.

1. Gluing weak approximability along recollements
   Pat Lank · 2610.22161 · math.AG · CC BY 4.0
   4 definitions13 statements13 proofs
2. A Krause-type recollement for Q-shaped derived categories
   Yajun Ma and Peiru Yang · 2610.21507 · math.RT · CC BY 4.0
   7 definitions30 statements27 proofs
3. Beth companions of finitary essentially algebraic theories
   Ivan Di Liberti and Luca Reggio · 2609.03601 · math.CT · CC BY 4.0
   11 definitions35 statements26 proofs
4. Deconstructing Auslander’s formulas, I. Fundamental sequences associated with additive functors
   Alex Martsinkovsky · 2410.14097 · math.RT · CC BY 4.0
   6 definitions25 statements14 proofs
5. Measuring data types
   Lukas Mulder, Paige Randall North and Maximilien Péroux · 2405.14678 · math.CT · CC BY 4.0
   13 statements22 proofs
6. Accessibility and Gorenstein injective envelopes
   Sergio Estrada and James Gillespie · 2605.02634 · math.CT · CC BY 4.0
   8 definitions23 statements17 proofs
7. Hopf 2-algebras and Braided Monoidal 2-Categories
   Hank Chen and Florian Girelli · 2304.07398 · math.QA · CC BY 4.0
   22 definitions26 statements15 proofs
8. Rectangular torsion theories
   Elena Caviglia, Zurab Janelidze and Luca Mesiti · 2504.01057 · math.CT · CC BY 4.0
   6 definitions33 statements24 proofs
9. On a fibrational construction for optics, lenses, and Dialectica categories
   Matteo Capucci, Bruno Gavranović, Abdullah Malik, Francisco Rios and Jonathan Weinberger · 2403.16388 · math.CT · CC BY 4.0
   13 definitions2 statements
10. Admissible weak factorization systems on extriangulated categories
    Yajun Ma, Hanyang You, Dongdong Zhang and Panyue Zhou · 2408.13548 · math.CT · CC BY 4.0
    10 definitions13 statements8 proofs
11. Pointwise Kan extensions along 2-fibrations and the 2-category of elements
    Luca Mesiti · 2302.04566 · math.CT · CC BY 4.0
    15 definitions17 statements14 proofs
12. Kac-Moody algebras in Deligne’s Category
    Ivan Motorin · 2406.13841 · math.RT · CC BY 4.0
    3 definitions13 statements11 proofs
13. A comonad for Grothendieck fibrations
    Jacopo Emmenegger, Luca Mesiti, Giuseppe Rosolini and Thomas Streicher · 2305.01474 · math.CT · CC BY 4.0
    1 definition12 statements9 proofs
14. Free precategories as presheaf categories
    Simon Forest and Samuel Mimram · 2211.16099 · math.CT · CC BY 4.0
    30 statements
15. Constructing Initial Algebras Using Inflationary Iteration
    Andrew M. Pitts and S. C. Steenkamp · 2105.03252 · math.LO · CC BY 4.0
    6 definitions13 statements11 proofs
16. Point-free Construction of Real Exponentiation
    Ming Ng and Steven Vickers · 2104.00162 · math.CT · CC BY 4.0
    23 definitions40 statements31 proofs
17. On Enriched Categories and Induced Representations
    Joshua A. Leslie and Ralph A. Twum · 2108.00412 · math.CT · CC BY 4.0
    12 definitions17 statements15 proofs
18. Finite and semisimple Boolean inverse monoids
    Mark V. Lawson · 2102.12931 · math.CT · CC BY 4.0
    64 statements36 proofs
19. Infinite products and zero-one laws in categorical probability
    Tobias Fritz and Eigil Fjeldgren Rischel · 1912.02769 · math.CT · CC BY 4.0
    9 definitions12 statements2 problems
20. A Categorical Approach to L-Convexity
    Soichiro Fujii · 1904.08413 · math.CT · CC BY 4.0
    17 definitions19 statements18 proofs
21. Foundations of Algebraic Theories and Higher Dimensional Categories
    Soichiro Fujii · 1903.07030 · math.CT · CC BY 4.0
    73 definitions37 statements28 proofs
22. Categorical structures for type theory in univalent foundations
    Benedikt Ahrens, Peter LeFanu Lumsdaine and Vladimir Voevodsky · 1705.04310 · math.LO · CC BY 4.0
    24 definitions5 statements14 problems
23. Contravariance through enrichment
    Michael Shulman · 1606.05058 · math.CT · CC BY 4.0
    12 statements
24. 2 Category of FRBSU Monoidal Categories and Crossed Modules
    Selcan Aksoy · 1512.06981 · math.CT · CC0 1.0
    21 definitions61 statements43 proofs
25. Coherence for Categorified Operadic Theories
    M. R. Gould · 1002.0879 · math.CT · CC BY 4.0
    97 definitions79 statements68 proofs
26. When is the diagonal functor Frobenius?
    Alexandru Chirvasitu · 0902.4012 · math.CT · CC BY 4.0
    3 definitions10 statements10 proofs3 problems