We gratefully acknowledge support from
the Simons Foundation and member institutions.

Category Theory

New submissions

[ total of 13 entries: 1-13 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Tue, 7 Feb 23

[1]  arXiv:2302.02035 [pdf, ps, other]
Title: Uniqueness of monoidal adjunctions
Authors: Takeshi Torii
Comments: 10 pages, separated from Section 5 of arXiv:2202.02493v3
Subjects: Category Theory (math.CT); Algebraic Topology (math.AT)

We have two dual equivalences between the $\infty$-category of $\mathcal{O}$-monoidal $\infty$-categories with right adjoint lax $\mathcal{O}$-monoidal functors and that with left adjoint oplax $\mathcal{O}$-monoidal functors for an $\infty$-operad $\mathcal{O}$. We show that the two equivalences equipped with compatible $\mathcal{O}$-monoidal presheaf functors are canonically equivalent.

[2]  arXiv:2302.02484 [pdf, ps, other]
Title: Enriched quasi-categories and the templicial homotopy coherent nerve
Comments: 44 pages, no figures
Subjects: Category Theory (math.CT)

We lay the foundations for a theory of quasi-categories in a monoidal category $\mathcal{V}$ replacing $\mathrm{Set}$, aimed at realising weak enrichment in the category $S\mathcal{V}$ of simplicial objects in $\mathcal{V}$. To accomodate non-cartesian monoidal products, we make use of an ambient category $S_{\otimes}\mathcal{V}$ of templicial - or 'tensor-simplicial' - objects in $\mathcal{V}$, which are certain colax monoidal functors following Leinster. Inspired by the description of the categorification functor due to Dugger and Spivak, we construct a templicial analogue of the homotopy coherent nerve functor which goes from $S\mathcal{V}$-enriched categories to templicial objects. We show that an $S\mathcal{V}$-enriched category whose underlying simplicial category is locally Kan, is turned into a quasi-category in $\mathcal{V}$ by this nerve functor.

[3]  arXiv:2302.02757 [pdf, ps, other]
Title: Quasi-uniform structures and functors
Subjects: Category Theory (math.CT)

We study a number of categorical quasi-uniform structures induced by functors. We depart from a category $\mathcal{C}$ with a proper $(\mathcal{E}, \mathcal{M})$-factorization system, then define the continuity of a $\mathcal{C}$-morphism with respect to two syntopogenous structures (in particular with respect to two quasi-uniformities) on $\mathcal{C}$ and use it to describe the quasi-uniformities induced by pointed and copointed endofunctors of $\mathcal{C}$. In particular, we demonstrate that every quasi-uniformity on a reflective subcategory of $\mathcal{C}$ can be lifted to a coarsest quasi-uniformity on $\mathcal{C}$ for which every reflection morphism is continuous. Thinking of categories supplied with quasi-uniformities as large ``spaces'', we generalize the continuity of $\mathcal{C}$-morphisms (with respect to a quasi-uniformity) to functors. We prove that for an $\mathcal{M}$-fibration or a functor that has a right adjoint, we can obtain a concrete construction of the coarsest quasi-uniformity for which the functor is $continuous$. The results proved are shown to yield those obtained for categorical closure operators. Various examples considered at the end of the paper illustrate our results.

Replacements for Tue, 7 Feb 23

[4]  arXiv:2002.03132 (replaced) [pdf, ps, other]
Title: Lax comma $2$-categories and admissible $2$-functors
Comments: 41 pages, new version
Subjects: Category Theory (math.CT)
[5]  arXiv:2202.02493 (replaced) [pdf, ps, other]
Title: A perfect pairing for monoidal adjunctions
Authors: Takeshi Torii
Comments: 10 pages, Section 5 in the previous version is separated to another article entitled "Uniqueness of monoidal adjunctions"
Subjects: Category Theory (math.CT); Algebraic Topology (math.AT)
[6]  arXiv:2210.04636 (replaced) [pdf, other]
Title: Classifying topoi in synthetic guarded domain theory
Comments: 38th International Conference on Mathematical Foundations of Programming Semantics (MFPS 2022)
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[7]  arXiv:2210.12021 (replaced) [pdf, ps, other]
Title: Cauchy Completeness, Lax Epimorphisms and Effective Descent for Split Fibrations
Comments: 8 pages, revised version, 11-01-2023
Subjects: Category Theory (math.CT); General Topology (math.GN)
[8]  arXiv:2212.09060 (replaced) [pdf, other]
Title: Parsing as a lifting problem and the Chomsky-Schützenberger representation theorem
Comments: reformatted for publication in ENTICS, proceedings of MFPS 2022
Subjects: Category Theory (math.CT); Formal Languages and Automata Theory (cs.FL)
[9]  arXiv:2102.04814 (replaced) [pdf, ps, other]
Title: Categorical computation
Authors: Liang Kong, Hao Zheng
Comments: 11 pages, comments are welcome
Journal-ref: Front. Phys. 18(2), 21302 (2023)
Subjects: Quantum Physics (quant-ph); Strongly Correlated Electrons (cond-mat.str-el); Category Theory (math.CT)
[10]  arXiv:2208.03817 (replaced) [pdf, ps, other]
Title: Programs as Diagrams: From Categorical Computability to Computable Categories
Authors: Dusko Pavlovic
Comments: 142 pages, 81 figures
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[11]  arXiv:2208.07865 (replaced) [pdf, ps, other]
Title: String Condensations in 3+1D and Lagrangian Algebras
Comments: 7+17 pages, 16 figures. Comments are welcome
Subjects: Strongly Correlated Electrons (cond-mat.str-el); High Energy Physics - Theory (hep-th); Category Theory (math.CT); Quantum Algebra (math.QA)
[12]  arXiv:2211.11897 (replaced) [pdf, other]
Title: Continuous Functions on Final Comodels of Free Algebraic Theories
Authors: Tomoya Yoshida
Comments: 17 pages
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[13]  arXiv:2212.07976 (replaced) [pdf, ps, other]
Title: Bi-invariance for Uniform Strategies on Event Structures
Authors: Hugo Paquet
Comments: Proceedings of MFPS 2022 (Final version)
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[ total of 13 entries: 1-13 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, recent, 2302, contact, help  (Access key information)