Search results

Can an object be considered the same if we change its type?

Status: Open.

#196 In UniMath/SymmetryBook;

· marcbezem opened on Nov 3, 2023

"ad" is not defined

Status: Open.

#194 In UniMath/SymmetryBook;

· ncfavier opened on Aug 24, 2023

Higher deloopings of abelian groups

Status: Open.

#193 In UniMath/SymmetryBook;

· UlrikBuchholtz opened on Aug 23, 2023

Potential inconsistency in coproduct notation

Status: Open.

#189 In UniMath/SymmetryBook;

· fizruk opened on Jul 25, 2023

The concept of homotopy type

Status: Open.

#185 In UniMath/SymmetryBook;

· marcbezem opened on Jun 29, 2023

Subscripts to \eqto

Status: Open.

#182 In UniMath/SymmetryBook;

· marcbezem opened on Mar 2, 2023

Rings and abstract rings

Status: Open.

#176 In UniMath/SymmetryBook;

· ghost opened on Jan 26, 2023

Expand App. B.1 to discuss principles compatible with decidable equality and program extraction

Status: Open.

#173 In UniMath/SymmetryBook;

· UlrikBuchholtz opened on Jan 12, 2023

Changing all xymatrix diagrams to tikzcd

Status: Open.

#169 In UniMath/SymmetryBook;

· favonia opened on Dec 15, 2022

Moratorium on new global changes?

Status: Open.

#161 In UniMath/SymmetryBook;

· marcbezem opened on Nov 28, 2022

garbled text

Status: Open.

#160 In UniMath/SymmetryBook;

· DanGrayson opened on Nov 24, 2022

Identity crisis

Status: Open.

#159 In UniMath/SymmetryBook;

· marcbezem opened on Nov 17, 2022