Category Theory

New submissions

• New submissions
• Replacements

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

Authors: Wendy Lowen, Arne Mertens

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

Authors: Minani Iragi, David Holgate

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

Authors: Maria Manuel Clementino, Fernando Lucatelli Nunes

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

Authors: Daniele Palombi, Jonathan Sterling

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

Authors: Fernando Lucatelli Nunes, Rui Prezado, Lurdes Sousa

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

Authors: Paul-André Melliès, Noam Zeilberger

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

Authors: Jiaheng Zhao, Jia-Qi Lou, Zhi-Hao Zhang, Ling-Yan Hung, Liang Kong, Yin Tian

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)

• New submissions
• Replacements