Related Experiment Video

Updated: Aug 24, 2026

A Photonic System for Generating Unconditional Polarization-Entangled Photons Based on Multiple Quantum Interference
07:56

A Photonic System for Generating Unconditional Polarization-Entangled Photons Based on Multiple Quantum Interference

Published on: September 5, 2019

Free Doubly-Infinitary Distributive Categories are Cartesian Closed

Fernando Lucatelli Nunes1, Matthijs Vákár2

  • 1CMUC, Department of Mathematics, University of Coimbra, 3000-143 Coimbra, Portugal.

Applied Categorical Structures
|August 22, 2026
PubMed
Abstract

Keywords:
Cartesian closed categoriesDistributive categoriesFree coproduct completionMultiexponentiationPseudodistributive lawsPseudomonads

More Related Videos

Creating Objects and Object Categories for Studying Perception and Perceptual Learning14:38

Creating Objects and Object Categories for Studying Perception and Perceptual Learning

Published on: November 2, 2012

Related Concept Videos

Fundamental Theorem of Algebra01:30

Fundamental Theorem of Algebra

The Fundamental Theorem of Algebra is central to the study of polynomial equations, asserting that every non-constant polynomial with complex coefficients has at least one complex zero. This means that a polynomial of degree n ≥ 1, written as:  with an ≠ 0, has at least one solution in the complex number system. Since the set of real numbers is a subset of complex numbers, this theorem applies equally to polynomials with real coefficients.Building on this result, the Complete Factorization...
Indeterminate Products01:29

Indeterminate Products

Indeterminate forms also arise in the evaluation of limits involving products, particularly when one factor approaches zero while the other tends to positive or negative infinity. This situation, commonly described as a zero-times-infinity form, does not have an immediately interpretable outcome. Depending on how the factors behave relative to one another, the limit of such a product may be zero, infinite, or a finite nonzero value.Product Limits and Algebraic RewritingTo analyze limits of this...
Torsion in Vector Calculus01:20

Torsion in Vector Calculus

A toy train ascending a winding track that curves and tilts offers an intuitive view of torsion, a key geometric concept in the study of space curves. While curvature measures how sharply a path bends, torsion captures how the path twists out of the plane of bending. This twisting behavior is crucial in understanding three-dimensional motion and is precisely described using the Frenet–Serret framework.At each point along a space curve, the Frenet–Serret frame consists of three orthogonal unit...
Cartesian Vector Notation01:28

Cartesian Vector Notation

Cartesian vector notation is a valuable tool in mechanical engineering for representing vectors in three-dimensional space, performing vector operations such as determining the gradient, divergence, and curl, and expressing physical quantities such as the displacement, velocity, acceleration, and force. By using Cartesian vector notation, engineers can more easily analyze and solve problems in various areas of mechanical engineering, including dynamics, kinematics, and fluid mechanics. This...
Cartesian Form for Vector Formulation01:26

Cartesian Form for Vector Formulation

The Cartesian form for vector formulation is a process to calculate  the moment of force using the position and force vectors. The moment of force is defined as the cross-product of these vectors, making it a vector quantity. The Cartesian form of the position and force vectors involves unit vectors, which can be used to express the cross-product in determinant form.
Fundamental Theorem of Calculus II01:29

Fundamental Theorem of Calculus II

In calculus, the computation of the area under a continuous curve has been fundamentally simplified by applying the Fundamental Theorem of Calculus, Part 2. Rather than relying on the limiting process of summing infinitely many infinitesimal rectangles, this theorem permits direct evaluation using antiderivatives, thereby streamlining the process of definite integration.The Fundamental Theorem of Calculus, Part 2, states that if a function f(x) is continuous on a closed interval [a, b], then...