🚀 go-pugleaf

I would very much appreciate any info on inifinity-categories that
are also "triangulated" - what is the correct notion anyway? Any
standard references are wellcomed. Reply through email to
leifj@matematik.su.se

For those not familiar with \inf-categories, here's the definition:
A \inf-category is a class A of morphisms such that there for all integers n
is a subclass of A denoted A_n with Ob A_n \subset Ob A_{n+1} and the structure
of a category on A_n with compatibility conditions on these category structures
making A into a Kan-komplex with the added condition that the completion of
n+1 compatible n-faces to an n+1 face is unique (which is not always the case
with Kan-komplexes). Compatible in the above is like in the picture below:

	|
	|
	|
	--------

to be completed to

	|\
	| \	
	|  \
     	|   \
        -----

(sorry for the angle mismatch..) A good ref. for the definition is: "The
equivalence of \inf-groupoids and crossed complexes." by Brown and Higgins in
Cah. de Top. et Geom. Diff. Vol 22 1981.

Thanx in advance.

MVH leifj