ItaCa Fest 2020

ItaCa Fest is an online webinar aimed to gather the community of ItaCa.


ItaCa Fest XMAS EDITION ⎯ December 16, 2020 ⎯ 10:00 CET

Time Speaker Affiliation Talk Material
10:00 TENDAS Macquarie University Equivalent characterizations
of accessible V-categories
10:45 Question time
11:00 PAOLI University of Leicester Weakly globular double categories
and weak units
11:45 Question time
12:00 Lunch break
14:00 LOREGIAN Tallinn University of Technology Coends of higher arity
14:45 Question time
15:00 ROSOLINI Università di Genova The Comonad of Identities
15:45 Question time
16:00 Free chat

November 25, 2020 ⎯ 14:00 CET

Time Speaker Affiliation Talk Material
14:00 TROTTA Università di Verona The existential completion, choice
principles and applications
14:45 Question time
15:00 NARDIN Universität Regensburg Equivariant multiplicative structures
15:45 Question time
16:00 Free chat

October 21, 2020 ⎯ 14:00 CEST

Time Speaker Affiliation Talk Material
14:00 ROVELLI ANU Towards an explicit comparison
between globular and simplicial
models of (∞,2)-categories
14:45 Question time
15:00 VIRILI Università di Udine Factorization systems on derivators
15:45 Question time
16:00 Free chat

September 23, 2020 ⎯ 14:00 CEST

Time Speaker Affiliation Talk Material
14:00 GHIORZI Appalachian State University Complete internal categories
14:45 Question time
15:00 PERRONE MIT Colimits as algebraic operations
15:45 Question time
16:00 Free chat

July 16, 2020 ⎯ 14:00 CEST

Time Speaker Affiliation Talk Material
14:00 MAIETTI Università di Padova Predicative generalizations
of topos-like structures
14:45 Question time
15:00 SANTAMARIA Università di Pisa Towards a Calculus of Substitution
for Dinatural Transformations
15:45 Question time
16:00 Free chat

June 17, 2020 ⎯ 14:00 CEST

Time Speaker Affiliation Talk Material
14:00 GAGNA Univerzita Karlova Oplax 3-functors
14:45 Question time
15:00 GAMBINO University of Leeds Variations on distributive laws
15:45 Question time
16:00 Free chat


Giacomo Tendas

Equivalent characterizations of accessible V-categories

Ordinary accessible categories have been studied by various authors and, since their introduction, have been characterized in several ways. When moving to the enriched context, though, many aspects of the theory are still very little developed. Moreover, two different notions of accessibility for V-categories have been introduced: one is a direct generalization of the ordinary definition, and involves only conical filtered colimits; the other (introduced by Borceux, Quinteiro, and Rosický) involves colimits weighted by flat V-functors, a larger class of “filtered” colimits which includes the conical ones. In the first part of the talk we will compare these two notions and exhibit several examples of base of enrichment for which these coincide or differ. In the second part we will provide a characterization of enriched accessible categories (for both notions) using “virtual” orthogonality and reflectivity conditions. The idea is to generalize the known characterization of locally presentable categories (as orthogonality classes and accessibly embedded reflective subcategories of presheaves) to our non-cocomplete case. This is part of a joint work with Steve Lack.

Simona Paoli

Weakly globular double categories and weak units

Weakly globular double categories are a model of weak 2-categories based on the notion of weak globularity, and they are known to be suitably equivalent to Tamsamani 2-categories. Fair 2-categories, introduced by J. Kock, model weak 2-categories with strictly associative compositions and weak unit laws. In this talk I will illustrate how to establish a direct comparison between weakly globular double categories and fair 2-categories and prove they are equivalent after localisation with respect to the 2-equivalences. This comparison sheds new light on weakly globular double categories as encoding a strictly associative, though not strictly unital, composition, as well as the category of weak units via the weak globularity condition.

Fosco Loregian

Coends of higher arity

We specialise a recently introduced notion of generalised dinaturality to the case where the domain (resp., codomain) is constant, obtaining notions of ends (resp., coends) of higher arity, dubbed herein (p,q)-ends (resp., (p,q)-coends). While higher arity co/ends are particular instances of “totally symmetrised” (ordinary) co/ends, they serve an important technical role in the study of a number of new categorical phenomena, which may be broadly classified as two new variants of category theory. The first of these, weighted category theory, consists of the study of weighted variants of the classical notions and construction found in ordinary category theory, besides that of a limit. This leads to a host of varied and rich notions, such as weighted Kan extensions, weighted adjunctions, and weighted ends. The second, diagonal category theory, proceeds in a different (albeit related) direction, in which one replaces universality with respect to natural transformations with universality with respect to dinatural transformations, mimicking the passage from limits to ends. In doing so, one again encounters a number of new interesting notions, among which one similarly finds diagonal Kan extensions, diagonal adjunctions, and diagonal ends. This is joint work with Théo de Oliveira Santos.

Pino Rosolini

The Comonad of Identities

Lawvere’s hyperdoctrines mark the beginning of applications of category theory to logic. In particular, existential elementary doctrines proved essential to give models of non-classical logics. The clear connection between (typed) logical theories and certain Pos-valued functors is exemplified by the embedding of the category of elementary doctrines into that of primary doctrines, which has a right adjoint given by a completion which freely adds quotients for equivalence relations. We extend that result in two ways: first we show that, in fact, the embedding is 2-functorial and 2-comonadic. Next, we show that the same applies to the more general case of elementary fibrations: the embedding of elementary fibrations into fibrations with finite products is 2-comonadic. This is joint work with Jacopo Emmenegger and Fabio Pasquali.

Davide Trotta

The existential completion, choice principles and applications

Hyperdoctrines were introduced by F.W. Lawvere to synthesize the structural properties of logical systems. The intuition is that a hyperdoctrine determines an appropriate categorical structure to abstract both notions of first-order theory and interpretation. In some recent works, Maietti and Rosolini generalized the notion of hyperdoctrine, introducing that of elementary and existential doctrine to give an abstract description of constructions used to formalize constructive mathematics in foundations based on intensional type theory. The main goal of this talk is to present the existential completion of an elementary doctrine, its connections with some choice principles and applications. First, we show that this construction allows us to extend the notion of exact completion to an arbitrary elementary doctrine, i.e. we prove that there is a bi-adjunction between the 2-category of elementary doctrines into the 2-category of exact categories. Then, employing the existential completion, we provide an algebraic characterization of some choice principles, including Hilbert’s epsilon operator. Finally, we present various examples of existential completions, including the syntactic doctrine of the regular logic, the doctrine of variations on a finite product category with weak equalizers, the subobject doctrine on a finitely complete category, and the doctrine of formal monomorphisms associated with an M-category.

Denis Nardin

Equivariant multiplicative structures

I will explain some ideas to encode multiplicative structures arising in equivariant homotopy theory (in particular the Hill-Hopkins-Ravenel norm) via the framework of parametrized higher category theory. I will show how this can be thought of a generalization of ordinary multiplicative structures and present how it can be used to give a universal property of the Hill-Hopkins-Ravenel norm.

Martina Rovelli

Towards an explicit comparison between globular and simplicial models of (∞,2)-categories

Many mathematical objects of interest assemble naturally into what is referred to as an (∞,n)-category, a notion that can be implemented by means of several models, each presenting its own advantages and disadvantages. Amongst those, there are Rezk’s globular model of Θn-spaces and Verity’s simplicial model of saturated n-complicial sets. The equivalence between those has been established for n=0,1,2, although only for n=0,1 an explicit comparison is available. I will present work in progress (joint with J. Bergner and V. Ozornova) towards producing an explicit comparison between the two approaches in the case n=2 or higher.

Simone Virili

Factorization Systems on Derivators

Factorization systems are an important part of modern category theory, as they can be found in very common situations. Furthermore, they provide the category where they live in with a rather rich structure. In this talk we extend this classical theory introducing a higher version of this concept, called derivator factorization systems, in the language of Grothendieck (pre)derivators. We will present three different approaches to derivator factorization system: as suitable pairs of “coherently orthogonal” sub-derivators, as “factorization functors” and as pseudoalgebras over the squaring monad. An important result will then be to prove that, in discrete derivators (i.e., the derivators enhancing classical category theory) and in stable derivators (i.e., the derivators enhancing triangulated categories), these three approaches are all equivalent. Finally, we will show that, when a derivator originates from a stable ∞-category, the derivator factorization systems are in bijection with the (homotopy) factorization systems introduced by Joyal.

Enrico Ghiorzi

Complete internal categories

Size issues are a common pathology afflicting category theory by getting in the way of otherwise natural results. While small categories are immune to size issues, the only complete ones are partial orders. So, internal category theory, which generalizes the theory of small categories while featuring notable examples of completeness, appears as an attractive setting. Remarkably, complete internal categories are also cocomplete and the adjoint functor theorem requires no solution set condition. Unfortunatly, there is no internal base category playing the role of the category of sets. Consequently, fundamental results such as the Yoneda lemma cannot be internalized. This motivates the developement of a theory of internal enrichment, combining the good behaviour of internal categories with the expressivity of enriched category theory.

Paolo Perrone

Colimits as algebraic operations

In this work we study colimits of diagrams from the point of view of 2-dimensional universal algebra, treating them as an algebraic operation that one can take on diagrams, or on presheaves. These operations satisfy coherence conditions automatically, coming from the universal property of colimits. As first stated by René Guitart, small diagrams form a pseudomonad on the category of locally small categories, with multiplication given by the Grothendieck construction. Cocomplete categories with a choice of colimit for each diagram are pseudoalgebras over this monad, via a (known) generalization of the usual Fubini theorem for colimits. Not all pseudoalgebras arise in this way, as we show. We assign to each small diagram a presheaf by taking the "free colimit". We call this construction the "image presheaf". We show that "having the same image presheaf" is a stronger condition than having the same colimit, which generalizes the concept of "final/cofinal functor". Moreover, the presheaves that arise as images of small diagrams (called "small presheaves") form themselves a pseudomonad, whose algebras are exactly cocomplete categories (as shown by Steve Lack). We show that taking the image gives a morphism of pseudomonads, so that cocomplete categories can be seen as being Diagram-algebras via a generalization of the classical restriction of scalars construction. Finally, we can instantiate the theory of partial evaluations (suitably extended to the 2-dimensional context) for these particular pseudomonads, and show how partial evaluations of colimits correspond exactly to pointwise left Kan extensions ("Kan extensions are partial colimits"). Upon interest, we may also discuss a tight analogy with the monads of probability theory, which has largely motivated this investigation. Joint work with Walter Tholen.

Milly Maietti

Predicative generalizations of topos-like structures

Predicative generalizations of the notion of elementary topos had been already investigated in the literature starting from the work by I. Moerdijk and E. Palmgren and later by B. van der Berg. In this talk we propose generalizations of the concept of arithmetic quasi-topos and hence of elementary topos which enjoy an internal language which is predicative a’ la Russell and are such that when applying suitable reducibility axioms we get the original (impredicative) notions back. The main difference with previous notions of predicative toposes is that in our notions we just require a non-iterative power-object construction. Genuine examples of quasi-toposes and predicative toposes may be built by employing the notion of elementary quotient completion introduced in joint work with P. Rosolini and applied to predicative versions of triposes in replacement to the usual Hyland-Johnstone-Pitts’s tripos-to-topos construction.

Alessio Santamaria

Towards a Calculus of Substitution for Dinatural Transformations

In 1972, with the papers "Many-Variable Functorial Calculus, I" and "An Abstract Approach of Coherence", Kelly started a long-term project on achieving an abstract theory of coherence. To do so, he argues that a "tidy calculus of substitution" of functors in many variables and appropriately general natural transformations is in order; such a calculus ought to generalise the usual Godement calculus of functors in one variable and ordinary natural transformations. Inspired by the work he did with Eilenberg on extranatural transformations in 1966, he developed this calculus for (many-variable) covariant functors and natural transformations. Upon trying the mixed-variance case, he ran into problems linked to the fact that extranaturals do not compose. In this talk, I will show how we realised that the full mixed-variance case wanted by Kelly involves a simple generalisation of dinatural transformations; a sufficient and essentially necessary condition for two consecutive dinatural transformations to compose will be mentioned, and I will present a new definition of horizontal composition of dinaturals. Armed with these results, I will show how to achieve he first steps made by Kelly (in the mixed-variance case, this time) towards a full substitution calculus. There are still some conceptual difficulties about the remaining steps which are yet to be overcome.

Andrea Gagna

Oplax 3-functors

We motivate the introduction of a notion of normalized oplax 3-functors from a homotopical point of view. We explain the algebra of trees needed for the definition and show that they induce a canonical simplicial morphism. Finally, we characterize the simplicial morphisms between nerves coming from normalized oplax 3-functors.

Nicola Gambino

Variations on distributive laws

The notion of a distributive law between monads goes back to fundamental work of Jon Beck from the late ’60s. Just as a monad describes a kind of algebraic structure, a distributive law between two monads describes how the algebraic structure for one monad distributes over the algebraic structure for the other, as in the notion of a ring (where products distribute over sums). I will give a survey of variations of distributive laws, according to three orthogonal directions: replacing monads with relative monads (in the sense of Altenkirch et al), replacing categories with objects of a 2-category (à la Street), and increasing categorical dimension. One application is to substitution monoidal structures and operads. This is based on joint work with Fiore, Hyland and Winskel and recent joint work with Lobbia.

Programme Committee