Showing 1–15 of 15 results for author: Joyal, A

Nishida Relations in Bordism and Homology (extended abstract)

Authors: Terrence Bisson, André Joyal

Abstract: This is the second of a series of Compte Rendus. In the first [1] we have presented a theory of Dyer-Lashof operations in unoriented bordism. Here we shall discuss the (Nishida) relations between Dyer-Lashof and Landweber-Novikov operations. They are used to represent the algebra $N_*Σ$ of covering manifolds in terms of their homology characteristic numbers. The proofs are based on the properties… ▽ More This is the second of a series of Compte Rendus. In the first [1] we have presented a theory of Dyer-Lashof operations in unoriented bordism. Here we shall discuss the (Nishida) relations between Dyer-Lashof and Landweber-Novikov operations. They are used to represent the algebra $N_*Σ$ of covering manifolds in terms of their homology characteristic numbers. The proofs are based on the properties of the covering space operations and the notions of D-ring and Q-ring introduced in [1]. △ Less

Submitted 6 May, 2025; originally announced May 2025.

Comments: 6 pages, preprint of 1995 publication, unchanged. [1] refers to our compte rendu, The Dyer-Lashof algebra in bordism, also on arXiv

MSC Class: 55N22 (Primary)

Journal ref: C. R. Math. Rep. Acad. Sci. Canada 17 (1995), no. 4, 141 - 146

The Dyer-Lashof algebra in bordism (extended abstract)

Authors: Terrence Bisson, André Joyal

Abstract: We present a theory of Dyer-Lashof operations in unoriented bordism (the canonical splitting $N_*(X)\simeq N_*\otimes H_*(X)$, where $N_*( )$ is unoriented bordism and $H_*( )$ is homology mod 2, does not respect these operations). For any finite covering space we define a ``polynomial functor'' from the category of topological spaces to itself. If the covering space is a closed manifold we obtain… ▽ More We present a theory of Dyer-Lashof operations in unoriented bordism (the canonical splitting $N_*(X)\simeq N_*\otimes H_*(X)$, where $N_*( )$ is unoriented bordism and $H_*( )$ is homology mod 2, does not respect these operations). For any finite covering space we define a ``polynomial functor'' from the category of topological spaces to itself. If the covering space is a closed manifold we obtain an operation defined on the bordism of any $E_\infty$-space. A certain sequence of operations called squaring operations are defined from two-fold coverings; they satisfy the Cartan formula and also a generalization of the Adem relations that is formulated by using Lubin's theory of isogenies of formal group laws. We call a ring equipped with such a sequence of squaring operations a D-ring, and observe that the bordism ring of any free $E_\infty$-space is free as a D-ring. In particular, the bordism ring of finite covering manifolds is the free D-ring on one generator. In a second compte-rendu we discuss the (Nishida) relations between the Landweber-Novikov and the Dyer-Lashof operations, and show how to represent the Dyer-Lashof operations in terms of their actions on the characteristic numbers of manifolds. △ Less

Submitted 5 May, 2025; originally announced May 2025.

Comments: 6 pages, preprint of 1995 publication, unchanged

MSC Class: 55N22 (Primary)

Journal ref: C. R. Math. Rep. Acad. Sci. Canada 17 (1995), no. 4, 135 - 140

Left-exact Localizations of $\infty$-Topoi III: The Acyclic Product

Authors: Mathieu Anel, Georg Biedermann, Eric Finster, André Joyal

Abstract: We define a commutative monoid structure on the poset of left-exact localizations of a higher topos, that we call the acyclic product. Our approach is anchored in a structural analogy between the poset of left-exact localizations of a topos and the poset of ideals of a commutative ring. The acyclic product is analogous to the product of ideals. The sequence of powers of a given left-exact localiza… ▽ More We define a commutative monoid structure on the poset of left-exact localizations of a higher topos, that we call the acyclic product. Our approach is anchored in a structural analogy between the poset of left-exact localizations of a topos and the poset of ideals of a commutative ring. The acyclic product is analogous to the product of ideals. The sequence of powers of a given left-exact localization defines a tower of localizations. We show how this recovers the towers of Goodwillie calculus in the unstable homotopical setting. We use this to describe the topoi of $n$-excisive functors as classifying $n$-nilpotent objects. △ Less

Submitted 29 August, 2023; originally announced August 2023.

Left-exact Localizations of $\infty$-Topoi II: Grothendieck Topologies

Authors: Mathieu Anel, Georg Biedermann, Eric Finster, André Joyal

Abstract: We revisit the work of Toën--Vezzosi and Lurie on Grothendieck topologies, using the new tools of acyclic classes and congruences. We introduce a notion of extended Grothendieck topology on any $\infty$-topos, and prove that the poset of extended Grothendieck topologies is isomorphic to that of topological localizations, hypercomplete localizations, Lawvere--Tierney topologies, and covering topolo… ▽ More We revisit the work of Toën--Vezzosi and Lurie on Grothendieck topologies, using the new tools of acyclic classes and congruences. We introduce a notion of extended Grothendieck topology on any $\infty$-topos, and prove that the poset of extended Grothendieck topologies is isomorphic to that of topological localizations, hypercomplete localizations, Lawvere--Tierney topologies, and covering topologies (a variation on the notion of pretopology). It follows that these posets are small and have the structure of a frame. We revisit also the topological--cotopological factorization by introducing the notion of a cotopological morphism. And we revisit the notions of hypercompletion, hyperdescent, hypercoverings and hypersheaves associated to an extended Grothendieck topology. We also introduce the notion of forcing, which is a tool to compute with localizations of $\infty$-topoi. △ Less

Submitted 28 May, 2023; v1 submitted 4 January, 2022; originally announced January 2022.

Comments: v2. To be published in JPAA. We change some terminology and notations. We simplified the proof of Proposition 3.3.6 and reorganized Section 2 around that

Left-exact Localizations of $\infty$-Topoi I: Higher Sheaves

Authors: Mathieu Anel, Georg Biedermann, Eric Finster, André Joyal

Abstract: We are developing tools for working with arbitrary left-exact localizations of $\infty$-topoi. We introduce a notion of higher sheaf with respect to an arbitrary set of maps $Σ$ in an $\infty$-topos $\mathscr{E}$. We show that the full subcategory of higher sheaves $\mathrm{Sh}(\mathscr{E},Σ)$ is an $\infty$-topos, and that the sheaf reflection $\mathscr{E}\to \mathrm{Sh}(\mathscr{E},Σ)$ is the le… ▽ More We are developing tools for working with arbitrary left-exact localizations of $\infty$-topoi. We introduce a notion of higher sheaf with respect to an arbitrary set of maps $Σ$ in an $\infty$-topos $\mathscr{E}$. We show that the full subcategory of higher sheaves $\mathrm{Sh}(\mathscr{E},Σ)$ is an $\infty$-topos, and that the sheaf reflection $\mathscr{E}\to \mathrm{Sh}(\mathscr{E},Σ)$ is the left-exact localization generated by $Σ$. The proof depends on the notion of congruence, which is a substitute for the notion of Grothendieck topology in 1-topos theory. △ Less

Submitted 1 March, 2022; v1 submitted 7 January, 2021; originally announced January 2021.

Comments: v2: 47 pages, paper substantially rewritten, proofs of main theorems shortened, examples added. v3: changed title, corrected a few typos, added Remark 3.3.10, split old Prop. 4.3.6 into new Prop. 4.3.6 and 4.3.7 for reference purposes. v4: published version, corrected typos and bibliography

MSC Class: 18N60; 18F20; 18N55

Journal ref: Advances in Mathematics, Volume 400, 2022, 108268

Notes on Clans and Tribes

Authors: Andre Joyal

Abstract: The purpose of these notes is to give a categorical presentation/analysis of homotopy type theory. The notes are incomplete as they stand (October 2017). The chapter on univalent tribes is missing. The references are not always connected to the text. A better version is in preparation. The purpose of these notes is to give a categorical presentation/analysis of homotopy type theory. The notes are incomplete as they stand (October 2017). The chapter on univalent tribes is missing. The references are not always connected to the text. A better version is in preparation. △ Less

Submitted 27 October, 2017; originally announced October 2017.

Goodwillie's Calculus of Functors and Higher Topos Theory

Authors: Mathieu Anel, Georg Biedermann, Eric Finster, André Joyal

Abstract: We develop an approach to Goodwillie's calculus of functors using the techniques of higher topos theory. Central to our method is the introduction of the notion of fiberwise orthogonality, a strengthening of ordinary orthogonality which allows us to give a number of useful characterizations of the class of $n$-excisive maps. We use these results to show that the pushout product of a $P_n$-equivale… ▽ More We develop an approach to Goodwillie's calculus of functors using the techniques of higher topos theory. Central to our method is the introduction of the notion of fiberwise orthogonality, a strengthening of ordinary orthogonality which allows us to give a number of useful characterizations of the class of $n$-excisive maps. We use these results to show that the pushout product of a $P_n$-equivalence with a $P_m$-equivalence is a $P_{m+n+1}$-equivalence. Then, building on our previous work, we prove a Blakers-Massey type theorem for the Goodwillie tower. We show how to use the resulting techniques to rederive some foundational theorems in the subject, such as delooping of homogeneous functors. △ Less

Submitted 8 September, 2018; v1 submitted 28 March, 2017; originally announced March 2017.

Comments: 40 pages, (a slightly modified version of) this paper is accepted for publication by the Journal of Topology

MSC Class: 55P65; 18F05

Journal ref: Journal of Topology 11 (2018) 1100--1132

A Generalized Blakers-Massey Theorem

Authors: Mathieu Anel, Georg Biedermann, Eric Finster, André Joyal

Abstract: We prove a generalization of the classical connectivity theorem of Blakers-Massey, valid in an arbitrary higher topos and with respect to an arbitrary modality, that is, a factorization system (L,R) in which the left class is stable by base change. We explain how to rederive the classical result, as well as a recent generalization by Chachólski-Scherer-Werndli. Our proof is inspired by the one giv… ▽ More We prove a generalization of the classical connectivity theorem of Blakers-Massey, valid in an arbitrary higher topos and with respect to an arbitrary modality, that is, a factorization system (L,R) in which the left class is stable by base change. We explain how to rederive the classical result, as well as a recent generalization by Chachólski-Scherer-Werndli. Our proof is inspired by the one given in Homotopy Type Theory. △ Less

Submitted 23 August, 2020; v1 submitted 27 March, 2017; originally announced March 2017.

Comments: v5: few typos corrected, 38 pages, paper accepted for publication in the Journal of Topology

MSC Class: 55P99; 18F99

Journal ref: Volume 13, Issue 4, December 2020, Pages 1521-1553

On operads, bimodules and analytic functors

Authors: Nicola Gambino, André Joyal

Abstract: We develop further the theory of operads and analytic functors. In particular, we introduce a bicategory that has operads as 0-cells, operad bimodules as 1-cells and operad bimodule maps as 2-cells, and prove that this bicategory is cartesian closed. In order to obtain this result, we extend the theory of distributors and the formal theory of monads. We develop further the theory of operads and analytic functors. In particular, we introduce a bicategory that has operads as 0-cells, operad bimodules as 1-cells and operad bimodule maps as 2-cells, and prove that this bicategory is cartesian closed. In order to obtain this result, we extend the theory of distributors and the formal theory of monads. △ Less

Submitted 4 July, 2015; v1 submitted 28 May, 2014; originally announced May 2014.

Comments: v2: introduction rewritten, some material reorganised, terminology revised (we now call "tame bicategories" the bicategories with local reflexive coequalizers, which are preserved by composition on both sides), 109 pages, to appear in Memoirs of the AMS

MSC Class: 18D50; 55P48; 18D05; 18C15

Journal ref: Memoirs of the American Mathematical Society, Volume 249, Number 1184, 2017

Sweedler Theory for (co)algebras and the bar-cobar constructions

Authors: Matthieu Anel, André Joyal

Abstract: We prove that the category of dg-coalgebras is symmetric monoidal closed and that the category of dg-algebras is enriched, tensored, cotensored and strongly monoidal over that of coalgebras. We apply this formalism to reconstruct several known adjunctions, notably the bar-cobar adjunction. We prove that the category of dg-coalgebras is symmetric monoidal closed and that the category of dg-algebras is enriched, tensored, cotensored and strongly monoidal over that of coalgebras. We apply this formalism to reconstruct several known adjunctions, notably the bar-cobar adjunction. △ Less

Submitted 26 September, 2013; originally announced September 2013.

Comments: 260 pages, comments welcome

Feynman graphs, and nerve theorem for compact symmetric multicategories (extended abstract)

Authors: André Joyal, Joachim Kock

Abstract: We describe a category of Feynman graphs and show how it relates to compact symmetric multicategories (coloured modular operads) just as linear orders relate to categories and rooted trees relate to multicategories. More specifically we obtain the following nerve theorem: compact symmetric multicategories can be characterised as presheaves on the category of Feynman graphs subject to a Segal con… ▽ More We describe a category of Feynman graphs and show how it relates to compact symmetric multicategories (coloured modular operads) just as linear orders relate to categories and rooted trees relate to multicategories. More specifically we obtain the following nerve theorem: compact symmetric multicategories can be characterised as presheaves on the category of Feynman graphs subject to a Segal condition. This text is a write-up of the second-named author's QPL6 talk; a more detailed account of this material will appear elsewhere. △ Less

Submitted 19 August, 2009; originally announced August 2009.

Comments: 9 pages. Written for the "Quantum Physics and Logic VI" proceedings

MSC Class: 18D50; 81Q30

Journal ref: Proceedings of the 6th International Workshop on Quantum Physics and Logic (Oxford 2009), Electronic Notes in Theoretical Computer Science 270 (2) (2011), 105-113

Coherence for weak units

Authors: André Joyal, Joachim Kock

Abstract: We define weak units in a semi-monoidal 2-category $\CC$ as cancellable pseudo-idempotents: they are pairs $(I,α)$ where $I$ is an object such that tensoring with $I$ from either side constitutes a biequivalence of $\CC$, and $α: I \tensor I \to I$ is an equivalence in $\CC$. We show that this notion of weak unit has coherence built in: Theorem A: $α$ has a canonical associator 2-cell, which aut… ▽ More We define weak units in a semi-monoidal 2-category $\CC$ as cancellable pseudo-idempotents: they are pairs $(I,α)$ where $I$ is an object such that tensoring with $I$ from either side constitutes a biequivalence of $\CC$, and $α: I \tensor I \to I$ is an equivalence in $\CC$. We show that this notion of weak unit has coherence built in: Theorem A: $α$ has a canonical associator 2-cell, which automatically satisfies the pentagon equation. Theorem B: every morphism of weak units is automatically compatible with those associators. Theorem C: the 2-category of weak units is contractible if non-empty. Finally we show (Theorem E) that the notion of weak unit is equivalent to the notion obtained from the definition of tricategory: $α$ alone induces the whole family of left and right maps (indexed by the objects), as well as the whole family of Kelly 2-cells (one for each pair of objects), satisfying the relevant coherence axioms. △ Less

Submitted 27 July, 2009; originally announced July 2009.

Comments: 37 pages, LaTeX; does not compile correctly with pdflatex due to some ps rotations. Minor typographical imperfections

MSC Class: 18D05

Journal ref: Documenta Math. 18 (2013), 71--110

Polynomial functors and opetopes

Authors: Joachim Kock, André Joyal, Michael Batanin, Jean-François Mascari

Abstract: We give an elementary and direct combinatorial definition of opetopes in terms of trees, well-suited for graphical manipulation and explicit computation. To relate our definition to the classical definition, we recast the Baez-Dolan slice construction for operads in terms of polynomial monads: our opetopes appear naturally as types for polynomial monads obtained by iterating the Baez-Dolan const… ▽ More We give an elementary and direct combinatorial definition of opetopes in terms of trees, well-suited for graphical manipulation and explicit computation. To relate our definition to the classical definition, we recast the Baez-Dolan slice construction for operads in terms of polynomial monads: our opetopes appear naturally as types for polynomial monads obtained by iterating the Baez-Dolan construction, starting with the trivial monad. We show that our notion of opetope agrees with Leinster's. Next we observe a suspension operation for opetopes, and define a notion of stable opetopes. Stable opetopes form a least fixpoint for the Baez-Dolan construction. A final section is devoted to example computations, and indicates also how the calculus of opetopes is well-suited for machine implementation. △ Less

Submitted 20 February, 2010; v1 submitted 7 June, 2007; originally announced June 2007.

Comments: LaTeX, 54 pages, 75 texdraw figures. Accompanying opetope scripts in Tcl hidden in tex source after \end{document} for the sake of archival -- also available from http://mat.uab.cat/~kock/cat/zoom.html . v2: substantial expository improvements, following the advice from the referees. Final version, to appear in Adv. Math

MSC Class: 05C05; 18D50; 18C15; 18D05

Journal ref: Adv. Math. 224 (2010), 2690-2737

Quasi-categories vs Segal spaces

Authors: Andre Joyal, Myles Tierney

Abstract: We show that complete Segal spaces and Segal categories are Quillen equivalent to quasi-categories. We show that complete Segal spaces and Segal categories are Quillen equivalent to quasi-categories. △ Less

Submitted 29 November, 2006; v1 submitted 31 July, 2006; originally announced July 2006.

Comments: 49 pages

MSC Class: 55U35;18G30;18G55

Weak units and homotopy 3-types

Authors: André Joyal, Joachim Kock

Abstract: We show that every braided monoidal category arises as $\End(I)$ for a weak unit $I$ in an otherwise completely strict monoidal 2-category. This implies a version of Simpson's weak-unit conjecture in dimension 3, namely that one-object 3-groupoids that are strict in all respects, except that the object has only weak identity arrows, can model all connected, simply connected homotopy 3-types. The… ▽ More We show that every braided monoidal category arises as $\End(I)$ for a weak unit $I$ in an otherwise completely strict monoidal 2-category. This implies a version of Simpson's weak-unit conjecture in dimension 3, namely that one-object 3-groupoids that are strict in all respects, except that the object has only weak identity arrows, can model all connected, simply connected homotopy 3-types. The proof has a clear intuitive content and relies on a geometrical argument with string diagrams and configuration spaces. △ Less

Submitted 18 August, 2006; v1 submitted 5 February, 2006; originally announced February 2006.

Comments: Dedicated to Ross Street on his 60th birthday; to appear in the StreetFest proceedings. 20 pages, LaTeX; uses Paul Taylor's diagrams and Peter Kabal's texdraw; does not compile with pdflatex. Version v2: reformatted to fit also on letter paper. Version v3: expository improvements, final version

MSC Class: 18D05; 18D10; 55P99

Journal ref: Street Festschrift: Categories in algebra, geometry and mathematical physics, Contemp. Math 431 (2007), 257-276.