I've noticed that #cubical tutorials introducing funExt treat it as semi-magical and I recently did the definition as an exercise and I wanted to share my thoughts. 1/

The University of Gothenburg is looking to hire a postdoc for work on
compilation of cubical type theory:

web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=37550

Application deadline: June 12.

#TypeTheory #Cubical #HoTT #Agda #PostDoc #Gothenburg

A cubical lightwell inside the Royal Museum of Fine Arts, Antwerp, Belgium, 2024.

Many ancient symbols, including the cube, have roots in geometry and math. It might seem a bit weird in this day and age, but at one time, math, science and religion were not considered separate pursuits. Even Sir Isaac Newton, the scientific genius most famous for his theory of gravity, had a fascination with sacred geometry. In fact, Newton poured countless hours into figuring out the exact dimension of the Temple of Solomon which, apart from the Old Testament, features prominently in the teachings of Freemasonry. And while it has not been proven conclusively, many people suspect that Sir Isaac Newton was a mason or was a member of a similar society predating Freemasonry as it was officially established in 1717. Sir Isaac Newton died in 1727.
A cube is one of many different symbols associated with sacred geometry. Since it can sit flat on the ground, a cube is associated with the earth and represents our earthly existence.

Volume and void are fundamental concepts in architecture and design, where volume refers to the three-dimensional space that an object or structure occupies, while void is the empty space surrounding or included within it. Understanding these concepts is crucial for optimizing spatial arrangements, achieving balance, and enhancing functionality and aesthetics in any design project. Mastery of volume and void enables one to create harmonious and efficient environments, making these terms essential vocabulary for architecture.

#modernarchitecture #colourphotography #colorphotography #perspective #isaacnewton #museumoffineartsantwerp #building #buildings #buildingphotography #urbanphotography #urbanexploration #architectlovers #arthistory #philosophical #modernart #exploreantwerp #antwerp #realityisanillusion #peopleinarchitecture #contemporaryarchitecture #symbolic #symbol #light #opticalillusion #illusion #volume #minimalism #minimalistarchitecture

My #blog for last week, slightly late, on cubical type theory: https://updatedscholar.blogspot.com/2023/01/discussing-cubical-type-theory.html #HoTT #cubical #TypeTheory